On the power and limitations of strictness analysis

DOI10.1145/258128.258212MaRDI QIDQ4376980zbMATH OpenOpenAlexFDO

Authors

Publication date 17 February 1998

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/jacm/1997-44/

zbMATH Keywords

strictness analysislazy functional languages\(dd\)-analysis

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 3907749
• Strictness and totality analysis
• scientific article; zbMATH DE number 1002941
• Strictness analysis and denotational abstract interpretation
• scientific article; zbMATH DE number 3960961
• Strictness analysis for higher-order functions
• Strictness analysis aids inductive proofs
• scientific article; zbMATH DE number 1832219
• scientific article; zbMATH DE number 4016173
• Safety of Nöcker's strictness analysis

Cited in

(16)

• Strictness and totality analysis with conjunction
• Inverse image analysis generalises strictness analysis
• Projections for polymorphic strictness analysis
• Strictness meets data flow
• Safety of Nöcker's strictness analysis
• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 3967886 (Why is no real title available?)
• scientific article; zbMATH DE number 1418338 (Why is no real title available?)
• scientific article; zbMATH DE number 1487944 (Why is no real title available?)
• Strictness analysis and denotational abstract interpretation
• scientific article; zbMATH DE number 4106302 (Why is no real title available?)
• scientific article; zbMATH DE number 1832219 (Why is no real title available?)
• Strictness analysis aids inductive proofs
• Generating function versions with rational strictness patterns
• scientific article; zbMATH DE number 3907749 (Why is no real title available?)
• scientific article; zbMATH DE number 1617319 (Why is no real title available?)

This page was built for publication: On the power and limitations of strictness analysis

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