├── 0cfa-constraints.rkt ├── 0cfa-flow.dl ├── README.md ├── anf-convert.rkt ├── cek-extended.rkt ├── cek.rkt ├── cesk-star.rkt ├── cesk.rkt ├── church.rkt ├── cps-convert.rkt ├── cps-machine.rkt ├── create-input-tables.rkt ├── k-cfa-direct.rkt └── tc.dl /0cfa-constraints.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/0cfa-constraints.rkt -------------------------------------------------------------------------------- /0cfa-flow.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/0cfa-flow.dl -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/README.md -------------------------------------------------------------------------------- /anf-convert.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/anf-convert.rkt -------------------------------------------------------------------------------- /cek-extended.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cek-extended.rkt -------------------------------------------------------------------------------- /cek.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cek.rkt -------------------------------------------------------------------------------- /cesk-star.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cesk-star.rkt -------------------------------------------------------------------------------- /cesk.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cesk.rkt -------------------------------------------------------------------------------- /church.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/church.rkt -------------------------------------------------------------------------------- /cps-convert.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cps-convert.rkt -------------------------------------------------------------------------------- /cps-machine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/cps-machine.rkt -------------------------------------------------------------------------------- /create-input-tables.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/create-input-tables.rkt -------------------------------------------------------------------------------- /k-cfa-direct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/k-cfa-direct.rkt -------------------------------------------------------------------------------- /tc.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kmicinski/program-analysis-examples/HEAD/tc.dl --------------------------------------------------------------------------------