scientific article; zbMATH DE number 1487944

zbMATH Open0959.68014MaRDI QIDQ4495071FDOQ4495071

Kevin Glynn, Harald Søndergaard

Publication date: 6 May 2001

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

Recommendations

• Strictness analysis and denotational abstract interpretation
• scientific article
• scientific article; zbMATH DE number 3907749
• On the power and limitations of strictness analysis
• Strictness analysis for higher-order functions
• scientific article; zbMATH DE number 1832219
• scientific article; zbMATH DE number 512903
• Strictness analysis via abstract interpretation for recursively defined types
• scientific article; zbMATH DE number 1002941
• Fixpoints for general correctness

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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 Q4495071)