Strictness and totality analysis
From MaRDI portal
Publication:1818314
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
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