see also the index (by topic, by tool, by reference, by year)
2018
Examples of year 2018
- A toy variant of Fibonacci function
- Binary Sort
- Gnome Sort
- Hillel challenge
- Integer square root on machine integers
- Minimum excludant (aka mex)
- Pancake sorting
- Ring Buffer
- Schorr-Waite algorithm, proof using a ghost monitor
- Tree of array
- VerifyThis 2018: Array-based queuing lock
- VerifyThis 2018: Array-based queuing lock (alt)
- VerifyThis 2018: Register allocation
- VerifyThis 2018: le rouge et le noir
- VerifyThis 2018: le rouge et le noir (alt)
- VerifyThis 2018: mind the gap
- VerifyThis 2018: mind the gap (alt)
see also the index (by topic, by tool, by reference, by year)