Integrating static analysis and general-purpose theorem proving for termination analysis.
Panagiotis ManoliosDaron VroonPublished in: ICSE (2006)
Keyphrases
- theorem proving
- abstract interpretation
- static analysis
- general purpose
- termination analysis
- dynamic analysis
- active databases
- active rules
- parallel search
- proof planning
- first order logic
- source code
- theorem prover
- inference rules
- regular expressions
- test suite
- model checking
- consequence finding
- geometry theorem proving
- programming language
- high level
- pattern matching
- open source
- metadata