Login / Signup
Reexecution in Abstract Interpretation of Prolog.
Baudouin Le Charlier
Pascal Van Hentenryck
Published in:
JICSLP (1992)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
logic programming
active rules
programming language
active databases
knowledge base
dynamic analysis
reasoning engine
expert systems
knowledge representation
logic programs