Pages that link to "Item:Q5415606"
From MaRDI portal
The following pages link to Separation Logic for Multiple Inheritance (Q5415606):
Displayed 4 items.
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)