Strictness and totality analysis

DOI10.1016/S0167-6423(96)00043-3zbMath0941.68021OpenAlexW2120646184WikidataQ59416362 ScholiaQ59416362MaRDI QIDQ1818314

Hanne Riis Nielson, Kirsten Lackner Solberg Gasser, Flemming Nielson

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00043-3

zbMATH Keywords

strictnessinference systemtotality analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Strictness and totality analysis with conjunction, Safety of Nöcker's strictness analysis, Making ``stricterness more relevant, Deciding inclusion of set constants over infinite non-strict data structures, Strictness, totality, and non-standard-type inference, Refinement types for program analysis