Efficient and safe-for-space closure conversion

@article{Shao2000EfficientAS,
  title={Efficient and safe-for-space closure conversion},
  author={Zhong Shao and Andrew W. Appel},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2000},
  volume={22},
  pages={129-161}
}
Modern compilers often implement function calls (or returns) in two steps: first, a “closure” environment is properly installed to provide access for free variables in the target program fragment; second, the control is transferred to the target by a “jump with arguments (for results).” Closure conversion—which decides where and how to represent closures at runtime—is a crucial step in the compilation of functional languages. This paper presents a new algorithm that exploits the use of compile… CONTINUE READING