Abstract Interpretation in the Toy Optimizer(bernsteinbear.com)33 points by ChadNauseam 10 months ago | 6 comments
Type-based alias analysis in the Toy Optimizer(bernsteinbear.com)16 points by chunkles 8 months ago | 1 comments
A Knownbits Abstract Domain for the Toy Optimizer, Correctly(pypy.org)18 points by luu 2 years ago | 0 comments