Projections for polymorphic strictness analysis

DOI10.1007/BFB0018346MaRDI QIDQ5096253zbMATH OpenFDO

Authors

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0018346

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Projections for polymorphic first-order strictness analysis
• On the power and limitations of strictness analysis
• scientific article; zbMATH DE number 1002941
• scientific article; zbMATH DE number 1832219
• scientific article; zbMATH DE number 1678354

Cites work

• scientific article; zbMATH DE number 4013998 (Why is no real title available?)
• scientific article; zbMATH DE number 4014000 (Why is no real title available?)
• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 3907749 (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 3679159 (Why is no real title available?)
• Projection Factorisations in Partial Evaluation

Cited in

(6)

• scientific article; zbMATH DE number 4014021 (Why is no real title available?)
• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 1002941 (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
• Compiling laziness using projections

This page was built for publication: Projections for polymorphic strictness analysis

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