Pages that link to "Item:Q1874283"
From MaRDI portal
The following pages link to Program logic and equivalence in the presence of garbage collection. (Q1874283):
Displaying 5 items.
- Observational purity and encapsulation (Q882452) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
