Understanding and debugging programs
- 29 February 1980
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 12 (2) , 189-202
- https://doi.org/10.1016/s0020-7373(80)80017-4
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Symbolic execution and program testingCommunications of the ACM, 1976
- Logical analysis of programsCommunications of the ACM, 1976
- Summary of MYCROFT: A system for understanding simple picture programsArtificial Intelligence, 1975
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975