https://github.com/namin/abi
abstract-interpretation paper-implementations scheme
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/namin/abi
- Owner: namin
- Created: 2018-09-03T13:32:00.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-08-30T06:55:56.000Z (almost 7 years ago)
- Last Synced: 2025-10-06T01:41:45.617Z (8 months ago)
- Topics: abstract-interpretation, paper-implementations, scheme
- Language: Scheme
- Homepage:
- Size: 10.7 KB
- Stars: 11
- Watchers: 2
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Abstracted Interpreter
The code follows the 2003 tutorial by Daniel P. Friedman and Anurag Mendhekar
on _Using an Abstracted Interpreter to Understand Abstract Interpretation_
([PDF](http://web.archive.org/web/20160913163222/http://www.cs.indiana.edu/l/www/classes/b621/abiall.pdf)).
A 2017 paper following a similar but more principled approach is
_Abstracting Definitional Interpreters_ by Darais et al.
([PDF](http://david.darais.com/assets/papers/abstracting-definitional-interpreters/adi.pdf),
[code](https://github.com/plum-umd/abstracting-definitional-interpreters)).