C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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