Evaluating call-by-need on the control stack

Authors:
Stephen Chang;David Van Horn;Matthias Felleisen
Affiliations:
PLT & PRL, Northeastern University, Boston, MA;PLT & PRL, Northeastern University, Boston, MA;PLT & PRL, Northeastern University, Boston, MA
Venue:
TFP'10 Proceedings of the 11th international conference on Trends in functional programming
Year:
2010

Citing 8
Cited 2

The revised report on the syntactic theories of sequential control and state

Theoretical Computer Science
A call-by-need lambda calculus

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The call-by-need lambda calculus

Journal of Functional Programming
The call-by-need lambda calculus

Journal of Functional Programming
Lazy evaluation and delimited control

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
Three syntactic theories for combinatory graph reduction

LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Defunctionalized interpreters for call-by-need evaluation

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming

A synthetic operational account of call-by-need evaluation

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Three syntactic theories for combinatory graph reduction

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ariola and Felleisen's call-by-need λ-calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substitution, function applications--once established--are never discharged. In this paper we show how to translate this notion of reduction into an abstract machine that resolves variable references via the control stack. In particular, the machine uses the static address of a variable occurrence to extract its current value from the dynamic control stack.