Modelling Metamorphism by Abstract Interpretation.

Mila Dalla Preda Roberto Giacobazzi Saumya K. Debray Kevin Coogan Gregg M. Townsend

Published in: SAS (2010)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
database
information systems
high level
distributed systems
business processes