Semantic issues in the design of languages for debugging

Olsson, 1991, A dataflow approach to event-based debugging, SOFTWARE — Practice Exp., 21, 209, 10.1002/spe.4380210207 Olsson, 1991, Sequential debugging at a high level of abstraction, IEEE SOFTWARE, 8, 27, 10.1109/52.88941 Lehr, 1989, Visualizing performance debugging, IEEE Computer, 22, 38, 10.1109/2.42013 DEC, 1988 Hanson, 1978, Event associations in SNOBOL4 for program debugging, SOFTWARE—Practice Exp., 8, 115, 10.1002/spe.4380080202 Kaufer, 1988, Saber-C, an interpreter-based programming environment for the C language, 161 UCB, 1983, DBX (1), Vol. 1 Stallman, 1989, GDB Manual (The GNU Source-Level Debugger) Katseff, 1979, Sdb: a symbolic debugger, Vol. 2C Crawford, 1990, Topics in behavioral modelling and event-based debugging Killian, 1984, Processes as files, 203 Kessler, 1990, Fast breakpoints: design and implementation, 78 Aral, 1988, Non-intrusive and interactive profiling in parasight, 21 Bates, 1983, An approach to high-level debugging of distributed systems (preliminary draft), 107 Heisenberg, 1983, The physical content of quantum kinematics and mechanics, 62 Heisenberg, 1958 Ho, 1992, Issues in debugging sequential and concurrent programs: methods, techniques, and implementation Delisle, 1984, Viewing a programming environment as a single tool, ACM SIGPLAN Notices, 19, 49, 10.1145/390011.808248 Quintus, 1990 Owicki, 1976, An axiomatic proof technique for parallel programs, Acta Inform., 6, 319, 10.1007/BF00268134 Stoy, 1987, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory Ousterhout, 1990, Tcl: An embeddable command language, 133 Bruegge, 1983, Generalized path expressions: A high level debugging mechanism, J. Systems Software, 3, 265, 10.1016/0164-1212(83)90012-2 McDowell, 1989, Debugging concurrent programs, ACM Computing Surveys, 21, 593, 10.1145/76894.76897 Johnson, 1978, The design and implementation of a run-time analysis and interactive debugging environment Lo, 1991, Towards a testbed for malicious code detection, 160