Inverse image analysis generalises strictness analysis

DOI10.1016/0890-5401(91)90004-LMaRDI QIDQ751835zbMATH OpenFDO

Authors Peter Dybjer

Publication date 1991

Published in Information and Computation (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsstrictness analysisfunctional programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4011905
• scientific article; zbMATH DE number 1002941
• scientific article; zbMATH DE number 3907749
• scientific article; zbMATH DE number 3967886
• On the power and limitations of strictness analysis

Cites work

• scientific article; zbMATH DE number 1638668 (Why is no real title available?)
• scientific article; zbMATH DE number 4014001 (Why is no real title available?)
• 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 3846844 (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 4011905 (Why is no real title available?)
• scientific article; zbMATH DE number 4045109 (Why is no real title available?)
• scientific article; zbMATH DE number 3733226 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• Abstract Interpretation, Logical Relations, and Kan Extensions
• Can programming be liberated from the von Neumann style?
• Domain theory in logical form
• On the synthesis of function inverses

Cited in

(5)

• Inverse-limit and topological aspects of abstract interpretation
• Abstract Interpretation from a Topological Perspective
• Image inversion and uncertainty quantification for constitutive laws of pattern formation
• scientific article; zbMATH DE number 4011905 (Why is no real title available?)
• On the synthesis of function inverses

This page was built for publication: Inverse image analysis generalises strictness analysis

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