GitHub repository: plum-umd/systematic-abstraction
Primary language: Haskell
Created: 2015-02-23T21:14:20Z
Description: Code from the paper "Systematic Abstraction of Abstract Machines"