A Generic Processor for Program Validation and Debugging.
Germán PueblaFrancisco BuenoManuel V. HermenegildoPublished in: Analysis and Visualization Tools for Constraint Programming (2000)
Keyphrases
- fault localization
- hardware designs
- java programs
- execution traces
- novice programmers
- program understanding
- model based diagnosis
- program slicing
- neural network
- computer architecture
- parallel processors
- program comprehension
- domain specific
- data sets
- programming environment
- distributed memory
- static analysis
- application specific
- general purpose
- database systems
- high level