Semantic Hierarchy Refactoring by Abstract Interpretation.

Francesco Logozzo Agostino Cortesi

Published in: VMCAI (2006)

Keyphrases

abstract interpretation
static analysis
source code
termination analysis
model checking
software systems
reasoning engine
active rules
dynamic analysis
open source
active databases
software engineering
knowledge base
data quality
software architecture
high level
case study