Journal Article10.1145/362342.362360
Reversible execution
63
TL;DR: 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.
read more
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].
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Programmers use slices when debugging
TL;DR: The experiment reported here shows that programmers also routinely break programs into one kind of coherent piece which is not coniguous.
854
•Proceedings Article
Debugging operating systems with time-traveling virtual machines
Samuel T. King,George W. Dunlap,Peter M. Chen +2 more
- 10 Apr 2005
TL;DR: Substituted phenol/epichlorohydrin/amine adducts as multipurpose, low concentration additives for hydrocarbon fuels, lubricating oils and mixtures thereof.
Learnable programming: blocks and beyond
TL;DR: New blocks frameworks open doors to greater experimentation for novices and professionals alike as discussed by the authors, which can be used for both novice and professional developers, and can be found in this paper.
305
Hardware-assisted replay of multiprocessor programs
David F. Bacon,Seth Copen Goldstein +1 more
- 01 Dec 1991
TL;DR: A hardware/software design is presented that allows the order of memory and the CPU''s to be allowed along with hardware and software control to replay execution and represents several orders of magnitude improvement in both performance and log size over purely software-based methods proposed previously.
119
Efficient algorithms for bidirectional debugging
Bob Boothe
- 01 May 2000
TL;DR: This paper discusses the research into algorithms for creating anefficient bidirectional debugger in which all traditional forward movement commands can be performed with equal ease in the reverse direction and expects that adding these backwards movement capabilities to a debugger will greatly increase its efficacy as a programming tool.
113
References
Recent developments in SAIL: an ALGOL-based language for artificial intelligence
Jerome A. Feldman,J. R. Low,D. C. Swinehart,Russell H. Taylor +3 more
- 05 Dec 1972
TL;DR: The design of SAIL follows a tack somewhat different from either of these in the design of LISP2 or FORMULA ALGOL and in its subsequent modifications.
51
EXDAMS: extendable debugging and monitoring system
R. M. Balzer
- 14 May 1969
TL;DR: With the advent of the higher-level algebraic languages, the computer industry expected to be relieved of the detailed programming required at the assembly-language level, but this expectation has largely been realized and many systems are now being built in higher- level languages.
Related Papers (5)
Bob Boothe
- 01 May 2000
Ralph Grishman
- 05 May 1970
Douglas Z. Pan,Mark A. Linton +1 more
- 01 Nov 1988