DocumentCode
2894179
Title
An engine for logic program analysis
Author
Heintze, Nevin ; Jaffar, Joxan
Author_Institution
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1992
fDate
22-25 Jun 1992
Firstpage
318
Lastpage
328
Abstract
An engine that is based on unfolding of semantic equations is presented. A main advantage of the unfolding engine is a uniform treatment of structural information in a program. In particular, reasoning about partially instantiated structures, an area where traditional algorithms have been weak, is greatly enhanced. It is shown that the engine is uniformly more accurate than the standard engine in the sense that, given an abstract domain, its output, for any program is more accurate than that of the standard engine
Keywords
inference mechanisms; logic programming; logic program analysis; partially instantiated structures; reasoning; semantic equations; structural information; unfolding; unfolding engine; Algorithm design and analysis; Computer science; Engines; Equations; Iterative algorithms; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on
Conference_Location
Santa Cruz, CA
Print_ISBN
0-8186-2735-2
Type
conf
DOI
10.1109/LICS.1992.185544
Filename
185544
Link To Document