Adding traces to a lazy monadic evaluator

DOI10.1007/3-540-45654-6_48MaRDI QIDQ4433998zbMATH OpenFDO

Authors Cristóbal Pareja, Fernando Rubio, Clara Segura, Ricardo Peña

Publication date 3 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780627.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Structure and properties of traces for functional programs
• Lazy call-by-value evaluation
• Dynamic slicing of lazy functional programs based on redex trails
• Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
• A Program Transformation for Tracing Functional Logic Computations

Cited in

(6)

• Dynamic slicing of lazy functional programs based on redex trails
• Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
• Structure and properties of traces for functional programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Lazy call-by-value evaluation
• Obtaining lazy evaluation with continuations in SCHEME

Describes a project that uses

Uses Software

• Freja
• Hat
• Hood

This page was built for publication: Adding traces to a lazy monadic evaluator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4433998)