Pages that link to "Item:Q744329"
From MaRDI portal
The following pages link to A shape graph logic and a shape system (Q744329):
Displaying 5 items.
- Reasoning about memory layouts (Q633298) (← links)
- A relational framework for higher-order shape analysis (Q2819695) (← links)
- Programming Languages and Systems (Q5308712) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712442) (← links)
- Computer Aided Verification (Q5716590) (← links)