see also the index (by topic, by tool, by reference, by year)
Pointer Programs
Examples involving a memory heap accessed using pointers
- An Efficient Arbitrary-Precision Integer Library
- Depth-First Search
- In-Place Linked-List Reversal in Why3
- Removing an element from a singly-linked list
- Schorr-Waite algorithm
- Schorr-Waite algorithm, proof using a ghost monitor
- Schorr-Waite algorithm, proof via recursion
- VerifyThis 2016: Binary Tree Traversal
- VerifyThis @ FM 2012, problem 3
see also the index (by topic, by tool, by reference, by year)