Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.
Raghavan KomondoorPublished in: SAS (2013)
Keyphrases
- term rewriting
- abstract interpretation
- imperative programs
- termination analysis
- theorem proving
- static analysis
- theorem prover
- operational semantics
- model checking
- dynamic logic
- reasoning engine
- active rules
- active databases
- dynamic analysis
- reverse engineering
- spatial databases
- artificial intelligence
- modal logic
- integrity constraints
- first order logic