Paper: An engine for logic program analysis (at LICS 1992)

Authors: Nevin Heintze Joxan Jaffar

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

BibTeX

  @InProceedings{HeintzeJaffar-Anengineforlogicpro,
    author = 	 {Nevin Heintze and Joxan Jaffar},
    title = 	 {An engine for logic program analysis},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 1992)},
    year =	 {1992},
    month =	 {June}, 
    pages =      {318--328},
    location =   {Santa Cruz, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }