Tagged "Alloy"
-
Proving My Compiler Code Incorrect With Alloy
6967 words, about 33 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. . . .