A Note on Hennessy's "Symbolic Debugging of Optimized Code".
David W. WallAmitabh SrivastavaFred TemplinPublished in: ACM Trans. Program. Lang. Syst. (1985)
Keyphrases
- java programs
- program understanding
- fault localization
- source code
- programs written
- symbolic representation
- symbolic reasoning
- java virtual machine
- open source
- artificial intelligence
- data flow
- high level
- error correcting
- case study
- web services
- novice programmers
- website
- connectionist models
- information systems
- execution traces
- learning algorithm