Pages that link to "Item:Q2904617"
From MaRDI portal
The following pages link to The relationship between separation logic and implicit dynamic frames (Q2904617):
Displaying 5 items.
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
- Sound Automation of Magic Wands (Q6487333) (← links)