Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.

Anne Parrain Philippe Devienne Patrick Lebègue

Published in: WSA (1992)

Keyphrases

prolog programs
abstract interpretation
logic programs
termination analysis
distributed systems
open source
orders of magnitude
spatial data
static analysis
active rules