Assertion-based Debugging of Imperative Programs by Abstract Interpretation.
François BourdonclePublished in: ESEC (1993)
Keyphrases
- abstract interpretation
- imperative programs
- termination analysis
- static analysis
- dynamic analysis
- model checking
- dynamic logic
- active rules
- active databases
- reasoning engine
- reverse engineering
- temporal logic
- information systems
- database
- regular expressions
- plan execution
- software development
- software engineering
- database systems
- artificial intelligence
- databases