see also the index (by topic, by tool, by reference, by year)
List Data Structure
Examples involving the list data structure
- Amortized Queue, in Why3
- Coincidence count, using lists
- Find a value in a sorted list of integers
- In-Place Linked-List Reversal in Why3
- Insertion sort (lists)
- Mergesort (lists)
- Removing an element from a singly-linked list
- Searching a Linked List, in Why3
- Summing the elements of a list
- Two puzzles from Danvy and Goldberg's ``There and back again''
- VerifyThis 2017: Tree Buffer
- VerifyThis 2019: GHC sort
- VerifyThis 2021: DLL to BST
see also the index (by topic, by tool, by reference, by year)