A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Logic Programs as Compact Denotations
[chapter]
2002
Lecture Notes in Computer Science
This paper shows how logic programs can be used to implement the transition functions of denotational abstract interpretation. The logic variables express regularity in the abstract behaviour of commands. The technique has been applied to sign, class and escape analysis for object-oriented programs. We show that the time and space costs using logic programs for these analyses are smaller than those using a ground relational representation. Moreover, we show that, in the case of sign analysis,
doi:10.1007/3-540-36388-2_23
fatcat:kvcs75lljjhehc4pqn7u6ez2ze