Login / Signup
An Automata-Based Approach to Trace Partitioned Abstract Interpretation.
Mads Christian Olesen
René Rydhof Hansen
Kim Guldstrand Larsen
Published in:
Semantics, Logics, and Calculi (2016)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
regular expressions
databases
reasoning engine
case study
query processing
management system