Code optimizations for lazy evaluation

This publication has 17 references indexed in Scilit:

• A collecting interpretation of expressions
  Published by Association for Computing Machinery (ACM) ,1988
• Path semantics
  Published by Springer Nature ,1988
• Compiling strictness into streams
  Published by Association for Computing Machinery (ACM) ,1987
• Tim: A simple, lazy abstract machine to execute supercombinators
  Published by Springer Nature ,1987
• The theory of strictness analysis for higher order functions
  Published by Springer Nature ,1986
• Higher-order strictness analysis in untyped lambda calculus
  Published by Association for Computing Machinery (ACM) ,1986
• MULTILISP: a language for concurrent symbolic computation
  ACM Transactions on Programming Languages and Systems, 1985
• Efficient compilation of lazy evaluation
  ACM SIGPLAN Notices, 1984
• Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977