An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs (1992)
| Venue: | In 12 th FST and TCS Conference |
| Citations: | 15 - 1 self |
BibTeX
@INPROCEEDINGS{Sundararajan92anabstract,
author = {Renganathan Sundararajan and John S. Conery},
title = {An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs},
booktitle = {In 12 th FST and TCS Conference},
year = {1992},
pages = {203--216},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Static global analyses based on abstract interpretation have been used to derive properties of programs. The analyses differ in the expressiveness of the abstract domains and the precision and efficiency of domain operations. We extend an abstract domain defined by Jacobs and Langen and present new abstract domain operations to derive freeness, groundness, and sharing of variables in logic programs. Analysis of non-trivial programs shows that our method is more precise and more efficient than previous proposals.
