see also the index (by topic, by tool, by reference, by year)
Tricky termination
Examples involving a tricky termination argument
- An example from EWD 673
- Binary search
- Binary search in C annotated in ACSL
- Disambiguation of Plus Expressions
- Integer square root
- McCarthy 91 function, Java version
- McCarthy's 91 function
- Mutual recursion
- Quicksort (arrays)
- The N-queens problem, in C with Caduceus tool
- Tortoise and hare algorithm
see also the index (by topic, by tool, by reference, by year)