Abstract Interpretation of Temporal Concurrent Constraint Programs.

Moreno Falaschi Carlos Olarte Catuscia Palamidessi

Published in: CoRR (2013)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking

reasoning engine
dynamic analysis
temporal information
active databases
temporal data

temporal constraints
temporal reasoning
composite events
integrity constraints
temporal databases

temporal patterns
database
distributed database systems
distributed systems