Lazy call-by-value evaluation (original) (raw)
Related papers
Tracing piece by piece: affordable debugging for lazy functional languages
Proceedings of the Fourth Acm Sigplan International Conference on Functional Programming, 1999
Algorithmic debugging for lazy functional languages
Journal of Functional Programming, 1994
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
Journal of Functional Programming, 2001
Tracing lazy functional languages
1995
Tracing and Debugging of Lazy Functional Programs-A Comparative Evaluation of Three Systems
2000
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
Electronic Notes in Theoretical Computer Science, 2009
The evaluation dependence tree as a basis for lazy functional debugging
Automated Software Engineering, 1997
Lazy algorithmic debugging: Ideas for practical implementation
Lecture Notes in Computer Science, 1993
A Declarative Debugging System for Lazy Functional Logic Programs
Electronic Notes in Theoretical Computer Science, 2002
Profiling large-scale lazy functional programs
Journal of Functional Programming, 1998
Dynamic slicing of lazy functional programs based on redex trails
Higher-Order and Symbolic Computation, 2008
The results of: profiling large-scale lazy functional programs
Implementation of Functional Languages, 1997
Rectus-locally eager haskell debugger
2006
Efficient compilation of lazy evaluation
ACM SIGPLAN Notices, 2004
2010
Structure and Properties of Traces for Functional Programs
Electronic Notes in Theoretical Computer Science, 2007
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages
Journal of Physics: Conference Series, 2011
Code optimizations for lazy evaluation
Lisp and Symbolic Computation, 1988
Adding Traces to a Lazy Monadic Evaluator
Cristobal Pareja, Ricardo Pena
Lecture Notes in Computer Science, 2001
Efficient Intensional Implementation for Lazy Functional Languages
Angelos Charalambidis, Panos Rondogiannis
Mathematics in Computer Science, 2008
A new programming technique for lazy functional languages
Science of Computer Programming, 1995
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat
Lecture Notes in Computer Science, 2003
The Generalized Intensional Transformation for Implementing Lazy Functional Languages
Functional low-level interpreters
2002
Run-time profiling of functional logic programs
Logic Based Program Synthesis and Transformation, 2005
A Slicing Tool for Lazy Functional Logic Programs
Lecture Notes in Computer Science, 2006
Towards a Safe Partial Evaluation of Lazy Functional Logic Programs
2007
DDT: A declarative debugging tool for functional-logic languages
2004
A Debugging Scheme for Functional Logic Programs
Electronic Notes in Theoretical Computer Science, 2002