Provable Linked Lists - Part 2 Dafny | Craft vs Cruft 45
Craft vs Cruft: Meditations on software quality. Episode 45: Provable Linked Lists - Part 2 (Dafny)
Follow me on LinkedIn: / cadrlife
Mender.AI
Twitter: / lambdapocalypse
References:
Dafny Language
https://dafny.org
Purely functional datastructures
Wiki: https://en.wikipedia.org/wiki/Purely_...
Okasaki book: / 594288
Key Project, Java verification and LinkedList JDK bug
https://www.key-project.org/2023/07/2...
TimSort bug
http://www.envisage-project.eu/provin...