Perhaps a nanopass framework is of interest? <i>&quot;a compiler as a collection of many fine-grained passes, each of which performs a single task&quot;</i> <a href="http:&#x2F;&#x2F;www.cs.indiana.edu&#x2F;~dyb&#x2F;pubs&#x2F;nano-jfp.pdf" rel="nofollow">http:&#x2F;&#x2F;www.cs.indiana.edu&#x2F;~dyb&#x2F;pubs&#x2F;nano-jfp.pdf</a>