Abstract Interpretation of Small-Step Semantics.

David A. Schmidt

Published in: LOMAPS (1996)

Keyphrases

abstract interpretation
active rules
termination analysis
static analysis
logic programming
formal semantics
database
management system
integrity constraints
data warehousing
active databases