Stepping Lazy Programs

Details Stepping Lazy Programs Stepping Lazy Programs

2011-08-23

arxiv.org/abs/1108.4706v1

Computer Science

Programming Languages

submitted to ICFP 2011

Scientific paper

Debugging lazy functional programs poses serious challenges. In support of the "stop, examine, and resume" debugging style of imperative languages, some debugging tools abandon lazy evaluation. Other debuggers preserve laziness but present it in a way that may confuse programmers because the focus of evaluation jumps around in a seemingly random manner. In this paper, we introduce a supplemental tool, the algebraic program stepper. An algebraic stepper shows computation as a mathematical calculation. Algebraic stepping could be particularly useful for novice programmers or programmers new to lazy programming. Mathematically speaking, an algebraic stepper renders computation as the standard rewriting sequence of a lazy lambda-calculus. Our novel lazy semantics introduces lazy evaluation as a form of parallel program rewriting. It represents a compromise between Launchbury's store-based semantics and a simple, axiomatic description of lazy computation as sharing-via-parameters. Finally, we prove that the stepper's run-time machinery correctly reconstructs the standard rewriting sequence.

Affiliated with

Also associated with

No associations

Rating

Stepping Lazy Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Stepping Lazy Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stepping Lazy Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-376931