https://github.com/kmicinski/program-analysis-examples
Notes for CIS 700 (Fall '19) at Syracuse U.
https://github.com/kmicinski/program-analysis-examples
Last synced: 28 days ago
JSON representation
Notes for CIS 700 (Fall '19) at Syracuse U.
- Host: GitHub
- URL: https://github.com/kmicinski/program-analysis-examples
- Owner: kmicinski
- Created: 2019-09-11T19:36:35.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-11-06T20:38:07.000Z (over 5 years ago)
- Last Synced: 2024-11-18T06:46:43.628Z (7 months ago)
- Language: Racket
- Size: 17.6 KB
- Stars: 13
- Watchers: 5
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-racket-and-scheme - program-analysis-examples
README
# Program Analysis Examples
**CIS 700 (Fall '19) by Kris Micinski at Syracuse U**
**Notes for "Program Analysis: Foundations and Applications"**
This repository contains a broad array of abstract machines and
abstract interpreters, along with conversion routines (e.g., ANF/CPS
conversion) for a variety of languages (mostly the lambda calculus
extended with various primitives).
- `anf-convert.rkt` - Sample ANF converter over a subset of Scheme.
- `cek.rkt` - A simple CEK machine, done via ANF and non-ANF
- `church.rkt` - A church-encoder
- `cps-machine` - Concrete interpreter for CPS lambda calculus
- `cps-convert.rkt` - A CPS converter for a Scheme subset
- `cesk.rkt` - A CESK machine for direct-style lambda calculus