Meta-circular Abstract Interpretation in Prolog.

Michael Codish Harald Søndergaard

Published in: The Essence of Computation (2002)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
logic programming
active rules
reasoning engine
expert systems
programming language
dynamic analysis
active databases
knowledge representation
knowledge base
logic programs
high level
spatial data
software engineering
database