Sign in
Abstract interpretation of temporal concurrent constraint programs.
Moreno Falaschi
Carlos Olarte
Catuscia Palamidessi
Published in:
Theory Pract. Log. Program. (2015)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
temporal information
active databases
dynamic analysis
composite events
reasoning engine
temporal data
temporal constraints
database
software engineering
control flow