C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Abstract Interpretation of Programs for Model-Based Debugging.
Wolfgang Mayer
Markus Stumptner
Published in:
IJCAI (2007)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
dynamic analysis
model checking
active databases
active rules
reasoning engine
novice programmers
hardware designs
source code