Proving My Compiler Code Incorrect With Alloy
6765 words, about 32 minutes to read.
Disclaimer: though “my compiler code” makes for a fun title, I do not claim exclusive credit for any of the C++ code in the Chapel compiler that I mention in this post. . . .