Posted on May 7, 2025 One of the challenges you face when programming is figuring out what your program will do when you run it. To most programmers, the obvious way of solving this conundrum is to run the program and see what it does, then modify the program until it does what they would like it to do. Essentially you treat the language implementation (whether a compiler or interpreter) as an oracle: an unambiguous source of truth on the meaning of programs. Things are more challenging when yo...