Fast strictness analysis based on demand propagation

This publication has 13 references indexed in Scilit:

• Assessing the evaluation transformer model of reduction on the spineless G-machine
  Published by Association for Computing Machinery (ACM) ,1993
• Strictness analysis using abstract reduction
  Published by Association for Computing Machinery (ACM) ,1993
• Higher-order binding-time analysis
  Published by Association for Computing Machinery (ACM) ,1993
• Projections for polymorphic first-order strictness analysis
  Mathematical Structures in Computer Science, 1992
• Head-strictness is not a monotonic abstract property
  Information Processing Letters, 1992
• Fast parallel implementation of lazy languages—the EQUALS experience
  ACM SIGPLAN Lisp Pointers, 1992
• Inverse image analysis generalises strictness analysis
  Information and Computation, 1991
• Backwards Strictness Analysis: Proved and Improved
  Published by Springer Nature ,1990
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980