A note on undefined expression values in programming logics
From MaRDI portal
Publication:1093365
DOI10.1016/0020-0190(87)90158-XzbMath0628.68019OpenAlexW1972221707MaRDI QIDQ1093365
Publication date: 1987
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(87)90158-x
Related Items (2)
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic ⋮ Partial functions and logics: A warning
Cites Work
This page was built for publication: A note on undefined expression values in programming logics