The following pages link to Correct and Robust Programs (Q3314964):
Displaying 8 items.
- Constructing a program with exceptions (Q674271) (← links)
- Efficient weakest preconditions (Q835051) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- A Hoare-like verification system for a language with an exception handling mechanism (Q1176241) (← links)
- Exits in the refinement calculus (Q1805400) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Conditional composition (Q1906041) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
