Tracing the evaluation of lazy functional languages: A model and its implementation

Paper


Watson, Richard and Salzman, Eric. 1997. "Tracing the evaluation of lazy functional languages: A model and its implementation." 3rd Asian Computing Science Conference (ASIAN 1997). Kathmandu, Nepal 09 - 11 Dec 1997 Germany. Springer. https://doi.org/10.1007/3-540-63875-X_63
Paper/Presentation Title

Tracing the evaluation of lazy functional languages: A model and its implementation

Presentation TypePaper
AuthorsWatson, Richard and Salzman, Eric
Journal or Proceedings TitleLecture Notes in Computer Science (Book series)
Journal Citation1345, pp. 336-350
Number of Pages15
Year1997
PublisherSpringer
Place of PublicationGermany
ISSN1611-3349
0302-9743
ISBN354063875X
9783540638759
Digital Object Identifier (DOI)https://doi.org/10.1007/3-540-63875-X_63
Web Address (URL) of Paperhttps://link.springer.com/chapter/10.1007/3-540-63875-X_63
Web Address (URL) of Conference Proceedingshttps://link.springer.com/book/10.1007/3-540-63875-X
Conference/Event3rd 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.

KeywordsDebugging; Functional programming; Lazy evaluation; Program transformation
Public Notes

There are no files associated with this item.

Byline AffiliationsUniversity of Southern Queensland
Permalink -

https://research.usq.edu.au/item/wxxzx/tracing-the-evaluation-of-lazy-functional-languages-a-model-and-its-implementation

  • 31
    total views
  • 0
    total downloads
  • 5
    views this month
  • 0
    downloads this month

Export as

Related outputs

VennTags: A file management system based on overlapping sets of tags
Albadri, Nehad, Dekeyser, Stijn and Watson, Richard. 2017. "VennTags: A file management system based on overlapping sets of tags." Sterzer, Wjatscheslaw and van de Sandt, Stephanie (ed.) iConference 2017 Effect, Expand, Evolve: Global Collaboration Across the Information Community. Wuhan, China 22 - 25 Mar 2017 United States. https://doi.org/10.9776/17002
Exploring the design space of metadata-focused file management systems
Watson, Richard, Dekeyser, Stijn and Albadri, Nehad. 2017. "Exploring the design space of metadata-focused file management systems." Australasian Computer Science Week 2017 (ACSW 2017). Geelong, Australia 31 Jan - 03 Feb 2017 New York, United States. https://doi.org/10.1145/3014812.3014833
TreeTags: bringing tags to the hierarchical file system
Albadri, Nehad, Watson, Richard and Dekeyser, Stijn. 2016. "TreeTags: bringing tags to the hierarchical file system." 2016 Australasian Computer Science Week Multiconference (ACSW '16). Canberra, Australia 02 - 05 Feb 2016 United States. https://doi.org/10.1145/2843043.2843868
Comparing academic workload models: how Australian universities resource teaching activities
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2016. "Comparing academic workload models: how Australian universities resource teaching activities." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2016: From Rhetoric to Reality (TEMC 2016). Auckland, New Zealand 11 - 14 Sep 2016 Australia.
Current practice in academic workload allocation processes in Australia
Watson, Richard, King, Rachel, Dekeyser, Stijn, Bare, Liz and Baldock, Clive. 2015. "Current practice in academic workload allocation processes in Australia." Dobson, Ian R. and Sharma, Raj (ed.) Tertiary Education and Management Conference 2015: Leading Locally Competing Globally (TEMC 2015). Wollongong, Australia 30 Aug - 02 Sep 2015 Australia.
Designing an academic workload model in the age of blended learning
Dekeyser, Stijn, Watson, Richard and Bare, Elizabeth. 2014. "Designing an academic workload model in the age of blended learning." Dobson, Ian R., Conway, Maree and Sharma, Raj (ed.) Tertiary Education and Management Conference 2014: Rainforest to Reef (TEMC 2014). Cairns, Australia 31 Aug - 03 Sep 2014 Australia.
Metadata manipulation interface design
Dekeyser, Stijn and Watson, Richard. 2013. "Metadata manipulation interface design." Smith, Ross T. and Wunsche, Burkhard C. (ed.) 14th Australasian User Interface Conference (AUIC 2013): User Interfaces 2013. Adelaide, Australia 29 Jan - 01 Feb 2013 Sydney, Australia.
Introductory programming languages at Australian universities at the beginning of the twenty first century
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2003. "Introductory programming languages at Australian universities at the beginning of the twenty first century." Journal of Research and Practice in Information Technology. 35 (3), pp. 163-167.
Electronic peer review: a large cohort teaching themselves?
de Raadt, Michael, Toleman, Mark and Watson, Richard. 2005. "Electronic peer review: a large cohort teaching themselves?" Goss, Halima (ed.) 22nd Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education (ASCILITE 2005). Brisbane, Australia 04 - 07 Dec 2005 Brisbane, Australia. Australasian Society for Computers in Learning in Tertiary Education (ASCILITE).
A framework for role-based group delegation in distributed environments
Wang, Hua, Li, Jiuyong, Addie, Ron, Dekeyser, Stijn and Watson, Richard. 2006. "A framework for role-based group delegation in distributed environments." Estivill-Castro, Vladimir and Dobbie, Gillian (ed.) 29th Australasian Computer Science Conference (ACSC 2006). Hobart, Australia 16 - 19 Jan 2006 Australia.
Peer-to-peer form based web information systems
Dekeyser, Stijn, Hidders, Jan, Watson, Richard and Addie, Ron. 2006. "Peer-to-peer form based web information systems." Dobbie, Gillian and Bailey, James (ed.) ADC 2006: 17th Australasian Database Conference. Hobart, Australia 16 - 19 Jan 2006 Australia.
Training strategic problem solvers
de Raadt, Michael, Toleman, Mark and Watson, Richard. 2004. "Training strategic problem solvers." ACM SIGCSE Bulletin. 36 (2), pp. 48-51. https://doi.org/10.1145/1024338.1024370
Language trends in introductory programming courses
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2002. "Language trends in introductory programming courses." Cohen, Eli B. and Boyd, E. (ed.) 2002 Informing Science + Information Technology Education Joint Conference (InSITE 2002). Cork, Ireland 19 - 21 Jun 2002 Santa Rosa, CA, United States.
Introductory programming: what's happening today and will there be any students to teach tomorrow?
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2004. "Introductory programming: what's happening today and will there be any students to teach tomorrow?" Lister, Raymond and Young, Alison (ed.) ACE 2004: 6th Australasian Computing Education Conference. Dunedin, New Zealand 18 - 24 Feb 2004 Bedford Park, South Australia.
Language trends in introductory programming courses
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2002. Language trends in introductory programming courses. Toowoomba, Australia. University of Southern Queensland.
Language tug-of-war: industry demand and academic choice
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2003. "Language tug-of-war: industry demand and academic choice." Greening, Tony and Lister, Raymond (ed.) ACE 2003: 5th Australasian Computing Education Conference. Adelaide, Australia 04 - 07 Feb 2003 Sydney, Australia.
Teaching and assessing programming strategies explicitly
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2009. "Teaching and assessing programming strategies explicitly." Hamilton, Margaret and Clear, Tony (ed.) ACE 2009: 11th Australasian Computing Education Conference. Wellington, New Zealand 20 - 23 Jan 2009 Bedford Park, South Australia.
An evaluation of electronic individual peer assessment in an introductory programming course
de Raadt, Michael, Lai, David and Watson, Richard. 2008. "An evaluation of electronic individual peer assessment in an introductory programming course." Lister, Raymond (ed.) 7th Baltic Sea Conference on Computing Education Research (Koli Calling 2007). Koli National Park, Finland 15 - 18 Nov 2007 Sydney, Australia.
Incorporating programming strategies explicitly into curricula
de Raadt, Michael, Toleman, Mark and Watson, Richard. 2008. "Incorporating programming strategies explicitly into curricula." Lister, Raymond (ed.) 7th Baltic Sea Conference on Computing Education Research (Koli Calling 2007). Koli National Park, Finland 15 - 18 Nov 2007 Sydney, Australia.
A model, schema, and interface for metadata file systems
Dekeyser, Stijn, Watson, Richard and Motroen, Lasse. 2008. "A model, schema, and interface for metadata file systems." Dobbie, Gillian and Mans, Bernard (ed.) ACSC 2008: 31st Australasian Computer Science Conference. Wollongong, Australia 22 - 25 Jan 2008 Wollongong, Australia.
Chick sexing and novice programmers: explicit instruction of problem solving strategies
de Raadt, Michael, Toleman, Mark and Watson, Richard. 2006. "Chick sexing and novice programmers: explicit instruction of problem solving strategies." Tolhurst, Denise and Mann, Samuel (ed.) ACE 2006: 8th Australasian Computing Education Conference. Hobart, Australia 16 - 19 Jan 2006 Sydney, Australia.
An effective system for electronic peer review
de Raadt, Michael, Toleman, Mark and Watson, Richard. 2006. "An effective system for electronic peer review." International Journal of Business and Management Education. 13 (9), pp. 48-62.
Textbooks: under inspection
de Raadt, Michael, Watson, Richard and Toleman, Mark. 2005. Textbooks: under inspection. Toowoomba, Australia. University of Southern Queensland.