Goal independency and call patterns in the analysis of logic programs

By: M. Gabbrielli and R. Giacobazzi

Roberto Giacobazzi
LIX, Laboratoire d'Informatique
Ecole Polytechnique
91128 Palaiseau cedex(Paris)


We propose an abstract semantics for the goal independent analysis of properties of ``procedure calls'' in SLD derivations (call patterns). This can be used to derive information useful for logic program optimizations.

Available: DVI, PostScript, BibTeX Entry.

Roberto Giacobazzi@di.unipi.it