The following pages link to Programming Languages and Systems (Q5899012):
Displaying 4 items.
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- The dynamic frames theory (Q539422) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)