The following pages link to Gary T. Leavens (Q811373):
Displaying 20 items.
- \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (Q856924) (← links)
- Protective interface specifications (Q1271854) (← links)
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Executing formal specifications with concurrent constraint programming (Q1857312) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- A complete algebraic characterization of behavioral subtyping (Q1977078) (← links)
- Modular invariants for layered object structures (Q2507783) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- (Q3046739) (← links)
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (Q3617711) (← links)
- (Q4222753) (← links)
- (Q4417651) (← links)
- (Q4738855) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- The Verified Software Initiative: A Manifesto (Q5029446) (← links)
- The verified software initiative (Q5228113) (← links)
- \(3x + 1\) search programs (Q5896654) (← links)
- \(3x + 1\) search programs (Q5905615) (← links)
