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