The following pages link to Lazy behavioral subtyping (Q710675):
Displaying 6 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
