Head-strictness is not a monotonic abstract property

DOI10.1016/0020-0190(92)90179-YzbMath0748.68039OpenAlexW1985853644MaRDI QIDQ1190512

Samuel Kamin

Publication date: 26 September 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90179-y

zbMATH Keywords

functional programmingabstract interpretationstrictness analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Cites Work

• Strictness analysis for higher-order functions
• Abstract Interpretation, Logical Relations, and Kan Extensions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Head-strictness is not a monotonic abstract property