Transforming semantics by abstract interpretation.

Roberto Giacobazzi Isabella Mastroeni

Published in: Theor. Comput. Sci. (2005)

Keyphrases

abstract interpretation
active rules
termination analysis
logic programming
model checking
static analysis
active databases
formal semantics
dynamic analysis
semantic information
information systems
query language
object oriented
integrity constraints
conceptual model
reasoning engine