Strictness and Totality Analysis
No abstract available.
Related papers
- Short note: Strict unwraps make worker/wrapper fusion totally correct JFP 2011
- Bounded Fixed Point Iteration POPL 1992
- Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study PLDI 1996
- A totally predictable outcome: an investigation of traversals of infinite structures Haskell 2022
- Free theorems in the presence of seq POPL 2004
- Total Correctness by Local Improvement in the Transformation of Functional Programs TOPLAS 1996
- Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS 1995
- Fast Strictness Analysis Via Symbolic Fixpoint Iteration SAS 1994