How to represent code invariants
This post was originally published in my personal blog. You can check it out there.
I wanted to write a bit about how we represent code invariants, specifically when those invariants cannot be easily expressed or enforced by the language, in this…