Detecting sharing of partial applications in functional programs
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 408-425
- https://doi.org/10.1007/3-540-18317-5_22
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The theory of strictness analysis for higher order functionsPublished by Springer Nature ,1986
- Higher-order strictness analysis in untyped lambda calculusPublished by Association for Computing Machinery (ACM) ,1986
- Strictness analysis — a practical approachPublished by Springer Nature ,1985
- Super-combinators a new implementation method for applicative languagesPublished by Association for Computing Machinery (ACM) ,1982
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Über die Bausteine der mathematischen LogikMathematische Annalen, 1924