Abstract Interpretation as Automated Deduction.
Vijay D'SilvaCaterina UrbanPublished in: J. Autom. Reason. (2017)
Keyphrases
- automated deduction
- abstract interpretation
- termination analysis
- static analysis
- theorem proving
- model checking
- active rules
- reasoning engine
- theorem prover
- deductive databases
- inference rules
- active databases
- logic programming
- dynamic analysis
- database
- training data
- integrity constraints
- open source
- data warehouse
- machine learning