Tracing the evaluation of lazy functional languages: A model and its implementation
Paper
Paper/Presentation Title | Tracing the evaluation of lazy functional languages: A model and its implementation |
---|---|
Presentation Type | Paper |
Authors | Watson, Richard and Salzman, Eric |
Journal or Proceedings Title | Lecture Notes in Computer Science (Book series) |
Journal Citation | 1345, pp. 336-350 |
Number of Pages | 15 |
Year | 1997 |
Publisher | Springer |
Place of Publication | Germany |
ISSN | 1611-3349 |
0302-9743 | |
ISBN | 354063875X |
9783540638759 | |
Digital Object Identifier (DOI) | https://doi.org/10.1007/3-540-63875-X_63 |
Web Address (URL) of Paper | https://link.springer.com/chapter/10.1007/3-540-63875-X_63 |
Web Address (URL) of Conference Proceedings | https://link.springer.com/book/10.1007/3-540-63875-X |
Conference/Event | 3rd Asian Computing Science Conference (ASIAN 1997) |
Event Details | 3rd Asian Computing Science Conference (ASIAN 1997) Parent Asian Computing Science Conference Delivery In person Event Date 09 to end of 11 Dec 1997 Event Location Kathmandu, Nepal |
Abstract | We address the problem of producing a trace of the evaluation of a program written in a lazy functional language. To avoid ambiguities and possible misunderstandings it is essential that the trace structure is defined with respect to a formally described model of program evaluation. We provide such a formal semantics for lazy evaluation of a simple lazy language, based closely on the work of Launchbury. The trace corresponds to the sequence of expression reductions defined by the evaluation model. We also present a scheme to generate a concrete trace of the evaluation of programs written in the target language, based on its semantic rules. We employ a two-step transformational approach: first transform the program so that, on execution, it generates a call-by-name trace as result, then further transform this trace to a call-by-need trace. |
Keywords | Debugging; Functional programming; Lazy evaluation; Program transformation |
Public Notes | There are no files associated with this item. |
Byline Affiliations | University of Southern Queensland |
https://research.usq.edu.au/item/wxxzx/tracing-the-evaluation-of-lazy-functional-languages-a-model-and-its-implementation
101
total views0
total downloads9
views this month0
downloads this month