A Knownbits Abstract Domain for the Toy Optimizer, Correctly (via Corbin) — discussion
#compilers #formalmethods #plt
