Code from the paper "Systematic Abstraction of Abstract Machines" - View it on GitHub