Lazy call-by-value evaluation

ACM SIGPLAN Notices

Volumn 42, Issue 9, 2007, Pages 265-276

  Braßel, Bernd ^a   Fischer, Sebastian ^a   Hanus, Michael ^a   Huch, Frank ^a   Vidal, Germán ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Debugging techniques; Laziness

Indexed keywords

FUNCTIONAL PROGRAMMING;

COMPLEX TASK; DEBUGGING TOOLS; DECLARATIVE DEBUGGING; LAZINESS; LAZY FUNCTIONAL PROGRAMMING; NEW APPROACHES; PROOF OF CONCEPT; VALUE EVALUATIONS;

PROGRAM DEBUGGING;

EID: 57549097284     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1291220.1291193     Document Type: Article

References (14)

1. B. Braßel, S. Fischer, M. Hanus, F. Huch, and G. Vidal. Lazy Call-By-Value Evaluation. Technical report, CAU Kiel, 2007.
2. A. Gill. Debugging Haskell by Observing Intermediate Data Structures. In Proc. of the 4th Haskell Workshop. Technical report of the University of Nottingham, 2000.
3. J. Launchbury. A Natural Semantics for Lazy Evaluation. In Proc. of the ACM Symp. on Principles of Programming Languages (POPL'93), pages 144-154. ACM Press, 1993.
4. H. Nilsson. Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. In Proc. of the 1999 Int'l Conf. on Functional Programming (ICFP'99), pages 36-47. ACM Press, 1999.
5. H. Nilsson. How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. Journal of Functional Programming, 11(6):629-671, 2001.
6. H. Nilsson and J. Sparud. The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Automated Software Engineering, 4(2): 121-150, 1997.
7. S.L. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, 2003.
8. B. Pope. Declarative Debugging with Buddha. In V. Vene and T. Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 273-308. Springer Verlag, September 2005. ISBN 3-540-28540-7.
9. B. Pope and Lee Naish. Practical aspects of declarative debugging in Haskell-98. In Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 230-240, 2003. ISBN:158113-705-2.
10. P.M. Sansom and S.L. Peyton Jones. Formally Based Profiling for HigherOrder Functional Languages. ACM Transactions on Programming Languages and Systems, 19(2):334-385, 1997.
11. E. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983.
12. J. Sparud and C. Runciman. Complete and Partial Redex Trails of Functional Computations. In Proc. of the 9th Int'l Workshop on the Implementation of Functional Languages (IFL'97), pages 160-177. Springer LNCS 1467, 1997a.
13. J. Sparud and C. Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Proc. of the 9th Int'l Symp. on Programming Languages, Implementations, Logics and Programs (PLILP'97), pages 291-308. Springer LNCS 1292, 1997b.
14. M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-View Tracing for Haskell: a New Hat. In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23, 2001.