Posted: February 13, 2015
On Saturday May 30, 2015 I will give a workshop called "How invariants help writing loops" at NextBuild 2015 in
my old home town Eindhoven.
Here is the abstract of my presentation:
This talk presents an old technique for writing correct code: invariants. Invariants can be used to prove the correctness of a loop after the loop has been written. They can also help writing a loop from scratch.
It turns out that algorithms like Binary Search and Quicksort can be written down easily when starting from invariants. Invariants are a tool every software craftsman should know.
After an explanation of invariants you will practice this technique in your favorite language.
Bring your own laptop with your favorite IDE to this workshop so you can practice this technique yourself. Not planning to bring your laptop to the workshop? Then bring paper and pen instead!