monadic-cfa

monadic-cfa copied to clipboard

Project structure:

CFA - General modules, shred between different CFA instances and languages |- AFJ - A family of analyses based on CESK Abstract Machine | for A-Normal Featherweight Java |- CESK - A family of analyses based on CESK Abstract Machine | for direct-style Lambda-calculus |- CPS - A family of analyses based on CPS Scheme

How to build:

Build everything:

make all

Build CPS-based analyses:

make cps

Build CESK-based analyses:

make cesk

Build ANF FJ-based analyses:

make afj

Clean:

make clean