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)
giaco@lix.polytechnique.fr
Abstract:
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