How invariants help writing loops

On Saturday May 30, 2015 I gave a workshop called “How invariants help writing loops” at NextBuild 2015 in my old home town Eindhoven. At ProgSCon 2015 I gave the same workshop.

For people who would like to know what I have talked about here is a PDF containing the summary of my presentation and the exercises in case you want to practise the presented technique yourself.