Pages that link to "Item:Q1093365"
From MaRDI portal
The following pages link to A note on undefined expression values in programming logics (Q1093365):
Displaying 4 items.
- Partial functions and logics: A warning (Q673461) (← links)
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages (Q4236753) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)