This is an implementation in Racket of paper Abstract Compilation: A New Implementation Paradigm for Static Analysis, Boucher and Feeley, 1996.

File 0cfa.rkt is the baseline analysis of 0-CFA, file comp.rkt is an abstract compiler with cloure generation adapted from Chapter 4.