Inverse image analysis generalises strictness analysis

DOI10.1016/0890-5401(91)90004-LzbMath0715.68052MaRDI QIDQ751835

Peter Dybjer

Publication date: 1991

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

zbMATH Keywords

denotational semanticsfunctional programming languagestrictness analysis

Mathematics Subject Classification ID

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

Related Items (3)

Inverse-limit and topological aspects of abstract interpretation ⋮ On the synthesis of function inverses ⋮ Abstract Interpretation from a Topological Perspective

Cites Work

• Domain theory in logical form
• On the synthesis of function inverses
• Abstract Interpretation, Logical Relations, and Kan Extensions
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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