The following pages link to Towards pointer algebra (Q685621):
Displaying 8 items.
- Algebraic separation logic (Q549676) (← 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)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Structured Document Algebra in Action (Q5256355) (← links)