Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.

Anne Parrain Philippe Devienne Patrick Lebègue

Published in: LOPSTR (1992)

Keyphrases

prolog programs
abstract interpretation
logic programs
termination analysis
static analysis
case study
software development
model checking
reasoning engine