Login / Signup
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
Baudouin Le Charlier
Sabina Rossi
Pascal Van Hentenryck
Published in:
ILPS (1994)
Keyphrases
</>
abstract interpretation
termination analysis
web services
static analysis
expert systems
knowledge representation
pattern matching
active rules
reasoning engine