scientific article; zbMATH DE number 1002941

MaRDI QIDQ3130262zbMATH OpenFDO

Authors Ralf Hinze

Publication date 23 April 1997

zbMATH Keywords

lazy functional programsstrictness analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Recommendations

• Representing demand by partial projections
• Projections for polymorphic strictness analysis
• Compiling laziness using projections
• scientific article; zbMATH DE number 4016173
• On the power and limitations of strictness analysis

Cited in

(16)

• Strictness analysis and denotational abstract interpretation
• Generating function versions with rational strictness patterns
• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 3960961 (Why is no real title available?)
• scientific article; zbMATH DE number 3967886 (Why is no real title available?)
• scientific article; zbMATH DE number 4011905 (Why is no real title available?)
• scientific article; zbMATH DE number 176724 (Why is no real title available?)
• Projections for polymorphic first-order strictness analysis
• On the power and limitations of strictness analysis
• scientific article; zbMATH DE number 1487944 (Why is no real title available?)
• Strictness meets data flow
• Compiling laziness using projections
• Projections for polymorphic strictness analysis
• Modular, higher order cardinality analysis in theory and practice
• Making ``stricterness more relevant
• Inverse image analysis generalises strictness analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3130262)