Pages that link to "Item:Q607403"
From MaRDI portal
The following pages link to Blaming the client: on data refinement in the presence of pointers (Q607403):
Displaying 4 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465874) (← links)