In this paper we propose a precise goal-independent abstract interpretation of Prolog programs. We deal with the control rules of Prolog and the cut operator. Moreover, we get a simple denotation for negation as finite failure. The abstract analysis is proposed both for computed answers analysis and for call patterns analysis. In both cases the abstract semantics is finitely computable.
Titolo: | Abstract Interpretation of Prolog Programs | |
Autori: | ||
Data di pubblicazione: | 1999 | |
Serie: | ||
Handle: | http://hdl.handle.net/11562/16673 | |
Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Abstract-interpretation-of-prolog-programs.pdf | Versione dell'editore | Accesso ristretto | Utenti riconosciuti Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.