Pages that link to "Item:Q4794726"
From MaRDI portal
The following pages link to Modular specification of frame properties in JML (Q4794726):
Displaying 6 items.
- The dynamic frames theory (Q539422) (← links)
- A logic for secure memory access of abstract state machines (Q555787) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- MRI: Modular reasoning about interference in incremental programming (Q5300700) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
