A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Analysis of Logic Programs with Delay
[chapter]
1998
Lecture Notes in Computer Science
The paper focuses on practical analyses for logic programs with delay. The method described is for downward-closed program properties and, in particular, groundness. A program transformation is deÞned which eliminates the delay statements but still enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. An implementation has been built which shows that the analysis can be both accurate and efÞcient.
doi:10.1007/3-540-49674-2_8
fatcat:pjxrqpky5bfaxkbuwikp3iklxq