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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (9)

• Projections for polymorphic strictness analysis
• Strictness meets data flow
• Untyped strictness analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the power and limitations of strictness analysis
• Sensitivity analysis for Horn formulae
• Making ``stricterness more relevant
• Derivation and inference of higher-order strictness types

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)