Title :
An engine for logic program analysis
Author :
Heintze, Nevin ; Jaffar, Joxan
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
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;
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
DOI :
10.1109/LICS.1992.185544
