The following pages link to Caper (Q2988651):
Displaying 5 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- Sound Automation of Magic Wands (Q6487333) (← links)