Loading...
Please wait, while we are loading the content...
Similar Documents
Call-Correct Specialisation of Logic Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bossi, Annalisa Rossi, Sabina |
| Copyright Year | 1998 |
| Abstract | In this paper we introduce the concept of specialisable call correct program. It is based on the notion of specialised derivation which is intended to describe program behaviour whenever some constraints on procedure calls are assumed. Both operational and xpoint constructions are deened. They characterize successful derivations of programs where only atoms satisfying a given call-condition are selected. We show that specialisable call correct programs can be transformed into call-correct ones. A suucient condition to verify specialisable call correctness is stated. |
| Starting Page | 335 |
| Ending Page | 346 |
| Page Count | 12 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.dsi.unive.it/~bossi/P40/BR98b.ps |
| Alternate Webpage(s) | http://www.dais.unive.it/~srossi/Papers/ictcs98.pdf |
| Alternate Webpage(s) | http://www.dsi.unive.it/~srossi/Papers/ictcs98.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |