Stereotyped program debugging: an aid for novice programmers
- 31 May 1982
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 16 (4) , 379-392
- https://doi.org/10.1016/s0020-7373(82)80047-3
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On program synthesis knowledgeArtificial Intelligence, 1978
- Initial Report on a Lisp Programmer's ApprenticeIEEE Transactions on Software Engineering, 1978
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975