LAURA, a system to debug student programs
- 30 November 1980
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 15 (1-2) , 75-122
- https://doi.org/10.1016/0004-3702(80)90023-5
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Non-resolution theorem provingArtificial Intelligence, 1977
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Logical analysis of programsCommunications of the ACM, 1976
- Analytic resolution in theorem provingArtificial Intelligence, 1976
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968