Supplementary material for the paper "Tunable Control-Flow Sensitivity for Program Analysis".
Directory 'theory/' hold the category theoretical discussion on the space on trace abstractions.
Directory 'code/' holds a Haskell implementation of the example language and analysis given in the paper.