philnguyen / loop-cfa

Small model of static analysis that's only confused between different iterations of a loop

loop-cfa

Small model of a static analysis that's only confused between different iterations of a loop

Usage

Install dependencies:

raco pkg install set-extras bnf intern

Code is in main.rkt Examples are in examples.rkt