scientific article; zbMATH DE number 1832219

zbMATH Open0997.68512MaRDI QIDQ4778697FDOQ4778697

Authors Kevin Glynn, Peter J. Stuckey, Martin Sulzmann

Publication date 19 November 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260073

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Making ``stricterness more relevant
• On the power and limitations of strictness analysis
• Strictness meets data flow
• Strictness and totality analysis
• scientific article; zbMATH DE number 3967886

Cited in

(9)

• scientific article; zbMATH DE number 1487944 (Why is no real title available?)
• Projections for polymorphic strictness analysis
• Strictness meets data flow
• scientific article; zbMATH DE number 1738290 (Why is no real title available?)
• Sensitivity analysis for Horn formulae
• Derivation and inference of higher-order strictness types
• Untyped strictness analysis
• Making ``stricterness more relevant
• On the power and limitations of 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 Q4778697)