|
 ABSTRACT
The ability to backtrack, or retrace, the execution of a computer program has gained wider acceptance recently as a desired feature within a programming language. This is particularly useful in two different applications: (1) In debugging systems where the trace output is saved and can be interrogated under programmer control [1, 3]; (2) In artificial intelligence applications where one is trying to prove a certain result. It is frequently necessary to backup the proof and try some alternative path [2].
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Balzer R.M. EXDAMS: Extendable debugging and monitoring system. Proc. AFIPS 1969 SJCC Vol. 34, AFIPS Press, Montvale, N.J., pp. 567-580.
|
| |
2
|
Feldman J.A., et al. Recent developments in SAIL--an Algol based language for artificial intelligence. AFIPS 1972 FJCC Vol. 41, AFIPS Press, Montvale, N.J., pp. 1193-1202.
|
| |
3
|
Grishman R. The debugging system AIDS. AFIPS 1970 SJCC Vol. 36, AFIPS Press, Montvale, N.J., pp. 59-78.
|
| |
4
|
PL/C--the CorneU compiler for PL/I. Dept. Comput. Sci., Cornell U., Ithaca, N.Y., Aug. 1971.
|
| |
5
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf