Andrew Tolmach  Home/Search
Context Related
Links: ACM DBLP | princeton.edu/techreports/19...253.ps.Z princeton.edu/reports/1990/253.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: princeton.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have built a novel and efficient replay debugger for our Standard ML compiler. Debugging facilities are provided by instrumenting the user's source code; this approach, made feasible by ML's safety property, is machineindependent and back-end independent. Replay is practical because ML is normally used functionally, and our compiler uses continuation-passing style; thus most of the program's state can be checkpointed quickly and compactly using call-with-current-continuation. Together,... (Update)
Cited by: More
Caroline Mae Tice - Report No Ucb (Correct)
A New Approach to Mobile Code Security - Wallach (1999) (Correct)
HsDebug : Debugging Lazy Programs by Not Being Lazy - Robert Ennals Computer (2003) (Correct)
Active bibliography (related documents): More All
0.8: A Debugger for Standard ML - Tolmach, Appel (1993) (Correct)
0.3: Debugging Ada - Bruegge (Correct)
0.3: The Many Faces of Introspection - Sosic (1992) (Correct)
Similar documents based on text: More All
0.1: Debuggable Concurrency Extensions for Standard ML - Andrew Tolmach (1991) (Correct)
0.0: Practical Network Support for IP Traceback - Savage, Wetherall, Karlin.. (2000) (Correct)
0.0: The Design of the PROMIS Compiler - Saito, Stavrakos, Carroll.. (1999) (Correct)
Related documents from co-citation: More All
10: Monitoring semantics: A formal framework for specifying (context) - Kishon, Hudak et al. - 1991
9: PROVIDE: A process visualization and debugging environment (context) - Moher - 1988
7: School of Computing and Information Technology (context) - Sosic, directing et al. - 1994
BibTeX entry: (Update)
Andrew P. Tolmach and Andrew W. Appel. Debugging Standard ML without reverse engineering. In Proc. 1990 ACM Conf. on Lisp and Functional Programming, pages 1--12, June 1990. http://citeseer.ist.psu.edu/tolmach90debugging.html More
@inproceedings{ tolmach90debugging,
author = "A. P. Tolmach and A. W. Appel",
title = "Debugging Standard {ML} without Reverse Engineering",
booktitle = "Proceedings of the 1990 {ACM} Conference on {LISP} and Functional Programming, Nice",
publisher = "ACM",
address = "New York, NY",
pages = "1--12",
year = "1990",
url = "citeseer.ist.psu.edu/tolmach90debugging.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
163 Debugging parallel programs with Instant Replay (context) - LeBlanc, Mellor-Crummey
126 Debugging concurrent programs (context) - McDowell, Helmbold - 1989 ACM DBLP
85 Garbage collection can be faster than stack allocation - Appel - 1987 ACM DBLP
70 A Standard ML compiler - Appel, MacQueen - 1987
48 A mechanism for efficient debugging of parallel programs (context) - Miller, Choi - 1988 ACM DBLP
32 Interactive source-level debugging of optimized programs (context) - Zellweger - 1984
25 Symbolic debugging of optimized code (context) - Hennessy - 1982 ACM DBLP
23 Runtime tags aren't necessary - Appel - 1989 DBLP
22 Improving garbage collector performance in virtual memory (context) - Shaw - 1987
22 EXDAMS - EXtendable Debugging and Monitoring System (context) - Balzer - 1969
22 A software instruction counter (context) - Mellor-Crummey, LeBlanc - 1989 ACM DBLP
18 Programming with continuations (context) - Friedman, Haynes et al. - 1984
18 Cheap hardware support for software debugging and profiling (context) - Cargill, Locanthi - 1987 ACM DBLP
18 Demonic memory for process histories (context) - Wilson, Moher - 1989
17 Efficient debugging primitives for multiprocessors (context) - Aral, Gertner et al. - 1989 ACM DBLP
16 Stores and partial continuations as first-class objects in a.. (context) - Johnson, Duggan - 1988 ACM DBLP
15 Expansion-Passing style: A general macro mechanism - Dybvig, Friedman et al. - 1988 DBLP
13 Bugnet: A debugging system for parallel programming environm.. (context) - Curtis, Wittie - 1982
12 Profiling in the presence of optimization and garbage collec.. - Appel, Duba et al. - 1988
6 Continuation-passing, closure-passing style - Appel - 1989 ACM DBLP
4 Adaptability and portability of symbolic debuggers (context) - Bruegge - 1985 ACM
2 Event associations in SNOBOL4 for program debugging (context) - Hanson - 1978 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.princeton.edu.html): More
Communication Fault Tolerance in Parallel Computers - Sitaraman (1993) (Correct)
Extensible Security Architectures for Java - Wallach (1997) (Correct)
Finite Growth Models - Ristad, Yianilos (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC