Abstract Interpretation of Temporal Concurrent Constraint Programs.
Moreno FalaschiCarlos OlarteCatuscia PalamidessiPublished 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