Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation

This paper supersedes our previous paper about Hoopl, but if you are interested in using Hoopl, the previous paper is still worth reading because it contains more explanations and examples about how to use the library—this paper is more about the implementation.

Full paper

Where's the code?