Pages that link to "Item:Q5387856"
From MaRDI portal
The following pages link to Reasoning About Incompletely Defined Programs (Q5387856):
Displaying 6 items.
- VeriFun (Q33982) (← links)
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Partially defined computer instructions and guards (Q941470) (← links)
- Context dependent procedures and computed types in \texttt{VeriFun} (Q2866336) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705933) (← links)