Debugging in a side effect free programming environment

Authors:
Cordelia V. Hall;John T. O'Donnell
Affiliations:
Computer Science Department, Indiana University, Bloomington, Indiana;Computer Science Department, Indiana University, Bloomington, Indiana
Venue:
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Year:
1985

Citing 8
Cited 9

Literate programming

The Computer Journal
Lucid, a nonprocedural language with iteration

Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I

Communications of the ACM
Synthesis of Digital Design from Recursive Equations

Synthesis of Digital Design from Recursive Equations
Experience with an applicative string processing language

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dialogues: A basis for constructing programming environments

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An integrated LISP programming environment (Extended Abstract)

SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Viewing a programming environment as a single tool

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Mechanisms for efficient multiprocessor combinator reduction

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging

Automated Software Engineering
Modeling an Algebraic Stepper

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Dialogues: A basis for constructing programming environments

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A user-centred approach to functions in Excel

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
A lightweight interactive debugger for haskell

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Towards a purely functional debugger for functional programs

FP'95 Proceedings of the 1995 international conference on Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.