Temporal Abstract Interpretation.

Patrick Cousot Radhia Cousot

Published in: POPL (2000)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
temporal data
temporal information
active databases
video sequences
integrity constraints
temporal databases
query processing
temporal patterns