Ehud Y. Shapiro, "Algorithmic Program Debugging"
1983 | pages: 246 | ISBN: 0262192187 | DJVU | 1,5 mb
1983 | pages: 246 | ISBN: 0262192187 | DJVU | 1,5 mb
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
My Links