A Further Note on Hennessy's "Symbolic Debugging of Optimized Code".

Max Copperman Charles E. McDowell

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

java programs
source code
program slicing
program understanding
real time
high level
symbolic description
connectionist learning
social networks
open source
code generation
error correcting
fault localization
programs written