Reexecution in Abstract Interpretation of Prolog.

Baudouin Le Charlier Pascal Van Hentenryck

Published in: Acta Informatica (1995)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
logic programming
active rules
expert systems
active databases
reasoning engine
knowledge base
dynamic analysis
programming language
knowledge representation
management system
open source