Abstract Interpretation over Zones without Widening.

Thomas Martin Gawlitza Helmut Seidl

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
reasoning engine
database
information systems
case study
object oriented
knowledge base
open source
source code