On the Transformation of SystemC to AsmL Using Abstract Interpretation.

Ali Habibi Sofiène Tahar

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

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
active databases
model checking
dynamic analysis
case study
pattern matching
integrity constraints
database technology