Immediate fixpoints for strictness analysis

MaRDI QIDQ4495071zbMATH OpenFDO

Authors Kevin Glynn, Harald Søndergaard

Publication date 6 May 2001

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Strictness analysis and denotational abstract interpretation
• scientific article; zbMATH DE number 4014021
• 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

Cited in

(2)

• A syntactic method for finding least fixed points of higher-order functions over finite domains
• Immediate fixpoints and their use in groundness analysis

This page was built for publication: Immediate fixpoints for strictness analysis

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