Abstract interpretation in the Toy Optimizer
Comments ⌘ Read more