A functional correspondence between call-by-need evaluators and lazy abstract machines

@article{Ager2004AFC,
  title={A functional correspondence between call-by-need evaluators and lazy abstract machines},
  author={Mads Sig Ager and Olivier Danvy and Jan Midtgaard},
  journal={Inf. Process. Lett.},
  year={2004},
  volume={90},
  pages={223-232}
}
We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.