论文信息 - Debugging in a side effect free programming environment

Debugging in a side effect free programming environment

Lisp and its successors provide the programmer with a powerful single tool [2] in which he can write, modify, debug and execute programs. Side effects play a crucial role in these programming environments. We propose an alternative approach to debugging that doesn't rely on side effects. Then we describe an implementation of our approach in a purely functional language.

Cordelia V. Hall | John T. O'Donnell

[1] Donald E. Knuth,et al. Literate Programming , 1984, Comput. J..

[2] Steven D. Johnson. Synthesis of digital designs from recursion equations , 1983 .

[3] Steven D. Johnson,et al. Circuits and Systems: Implementing Communication with Streams , 1982, IMACS World Congress.

[4] Harald Wertz. An integrated Lisp programming environment , 1983 .

[5] Robin Milner,et al. How ML evlolved , 1982 .

[6] John T. O'Donnell,et al. Dialogues: A basis for constructing programming environments , 1985, SLIPE.

[7] Daniel P. Friedman,et al. CONS Should Not Evaluate its Arguments , 1976, ICALP.

[8] Philip Wadler,et al. Experience with an applicative string processing language , 1980, POPL '80.

[9] Daniel P. Friedman,et al. Unbounded computational structures , 1978, Softw. Pract. Exp..

[10] Harald Wertz. An integrated LISP programming environment (Extended Abstract) , 1983, SIGSOFT '83.

[11] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[12] Mayer D. Schwartz,et al. Viewing a programming environment as a single tool , 1984 .

[13] William W. Wadge,et al. Lucid, a nonprocedural language with iteration , 1977, CACM.