The following pages link to Towards pointer algebra (Q685621):
Displaying 13 items.
- Algebraic separation logic (Q549676) (← links)
- Automatically replacing indices into parallel arrays with pointers to records (Q1123591) (← links)
- Calculational derivation of pointer algorithms from tree operations (Q1283882) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Extended feature algebra (Q2374310) (← links)
- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study (Q3608820) (← links)
- Pure Pointer Programs and Tree Isomorphism (Q4910428) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)