Guy Lapalme, et al.  Home/Search
Context Related
| iro.umontreal.ca/~latendre/pu...lazy.ps 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: iro.umontreal.ca/~latendre/pub... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a new approach for debugging lazy functional languages. It rests on the fact that a functional program is the transformation of an expression; one debugs a program by investigating the syntactic form of the expression and by stopping the reduction process at given points. We show what problems are involved and our approach to solving them in a prototype implementation. (Update)
Context of citations to this paper: More
...1 Introduction 1. 1 Goals and Motivations While simple debuggers ( Ber93] HO85] NF93] Dyb87] Cho89] Duc93] GH92] Kam90] [nML92], Nai92] NF92] OCH91] Sha83] Sny90] Tol92] WN88] execution profilers ( San94] Kis92] and trace facilities like those...
Cited by: More
IIC: Information in Context - Mankoff (1996) (Correct)
Active bibliography (related documents): More All
0.5: Development of a Prototype Geometric Modelling System using .. - Checkland, Runciman (1992) (Correct)
0.2: An Embryo to a Debugger for Haskell - Sparud (1994) (Correct)
0.2: Towards a Haskell Debugger - Sparud (1995) (Correct)
Similar documents based on text: More All
0.9: Stochastic Learning of Strategic Equilibria for Auctions - Bengio, Bengio (1999) (Correct)
0.8: Diversification Strategies in Local Search for A.. - Gendron, Potvin, Soriano (Correct)
0.8: Modular Temporal Logic - Baziramwabo, McKenzie, Thérien (1998) (Correct)
BibTeX entry: (Update)
Guy LaPalme nad Mario Latendresse. A debugging environment for lazy functional languages. Lisp and Symbolic Computation, 5:271--287, 1992. http://citeseer.ist.psu.edu/lapalme99debugging.html More
@article{ lapalme92debugging,
author = "Guy Lapalme and Mario Latendresse",
title = "A Debugging Environment for Lazy Functional Languages",
journal = "Lisp and Symbolic Computation",
volume = "5",
number = "3",
pages = "271--287",
year = "1992",
url = "citeseer.ist.psu.edu/lapalme99debugging.html" }
Citations (may not include all citations):359 The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
143 A new implementation technique for applicative languages (context) - Turner - 1979
113 A Non-strict Purely Functional Language (context) - Hudak, Wadler - 1991
103 The Denition of Standard ML (context) - Milner, Tofte et al. - 1990
59 A compiler for Lazy ML (context) - Augustsson - 1984
10 Adapting combinator and SECD machines to display snapshots o.. (context) - Runciman, Toyn - 1986
7 Steps towards better debugging tools for Lisp (context) - Henry - 1984
6 Debugging in applicative languages (context) - Cordelia, O'Donnell - 1988
4 How ML evolved (context) - Milner - 1983
2 Directions in Functional Programming Research (context) - Peyton-Jones - 1985
1 Un environnement de mise au point de programmes ecrits dans.. (context) - Latendresse - 1990
1 Lazy debugging of lazy functional language (context) - Robin - 1990
Documents on the same site (http://www.iro.umontreal.ca/~latendre/publications/): More
Automatic Generation of Compact Programs and Virtual Machines.. - Latendresse (2000) (Correct)
Fast and Compact Decoding of Huffman Encoded Virtual.. - Latendresse, Feeley (Correct)
Behavioral Contracts and Behavioral Subtyping - Robert Bruce Findler (2001) (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