Projections for strictness analysis
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 385-407
- https://doi.org/10.1007/3-540-18317-5_21
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Compiling strictness into streamsPublished by Association for Computing Machinery (ACM) ,1987
- Evaluation transformers — A model for the parallel evaluation of functional languages (extended abstract)Published by Springer Nature ,1987
- Inverse image analysisPublished by Springer Nature ,1987
- Code generation techniques for functional languagesPublished by Association for Computing Machinery (ACM) ,1986
- Higher-order strictness analysis in untyped lambda calculusPublished by Association for Computing Machinery (ACM) ,1986
- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languagesPublished by Springer Nature ,1985
- Strictness analysis — a practical approachPublished by Springer Nature ,1985
- A compiler for lazy MLPublished by Association for Computing Machinery (ACM) ,1984
- Efficient compilation of lazy evaluationPublished by Association for Computing Machinery (ACM) ,1984
- Domains for denotational semanticsPublished by Springer Nature ,1982