C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic and Abstract Interpretation for C/C++ Programs.
Helge Löding
Jan Peleska
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine
dynamic analysis
database
knowledge base