Abstract Interpretation of Constraints on Order-Sorted Domains.

Published in: ISLP (1991)

Keyphrases

abstract interpretation
termination analysis
active rules
order sorted
dynamic analysis
relational databases
data warehouse
model checking