Pages that link to "Item:Q1283882"
From MaRDI portal
The following pages link to Calculational derivation of pointer algorithms from tree operations (Q1283882):
Displaying 5 items.
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Towards pointer algebra (Q685621) (← links)
- On building cyclic and shared structures in Haskell (Q1941875) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Pure Pointer Programs and Tree Isomorphism (Q4910428) (← links)