Logic in Computer Science (LICS 1992)

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

Authors: Heintze, N. Jaffar, J.

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 = 	 {Heintze, N. and Jaffar, J.},
    title = 	 {An engine for logic program analysis},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1992},
    year =	 1992,
    editor =	 {Andre Scedrov},
    month =	 {June}, 
    pages =      {318--328},
    location =   {Santa Cruz, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }