Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
John FieldJan HeeringT. B. DineshPublished in: ACM Comput. Surv. (1998)
Keyphrases
- partial evaluation
- abstract interpretation
- termination analysis
- explanation based generalization
- static analysis
- model checking
- active rules
- reasoning engine
- active databases
- dynamic analysis
- integrity constraints
- information systems
- reverse engineering
- source code
- open source
- higher order
- relational databases
- knowledge base