https://github.com/ilyasergey/plt-redex-fj
A PLT Redex implementation of Featherweight Java
https://github.com/ilyasergey/plt-redex-fj
featherweight-java operational-semantics plt-redex
Last synced: 2 months ago
JSON representation
A PLT Redex implementation of Featherweight Java
- Host: GitHub
- URL: https://github.com/ilyasergey/plt-redex-fj
- Owner: ilyasergey
- Created: 2012-10-01T14:36:16.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2012-10-08T12:57:31.000Z (over 12 years ago)
- Last Synced: 2025-02-01T07:43:43.105Z (4 months ago)
- Topics: featherweight-java, operational-semantics, plt-redex
- Language: Racket
- Homepage:
- Size: 155 KB
- Stars: 15
- Watchers: 2
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
A PLT Redex implementation of Featherweight Java
================================================
Developed with purely educational goals as an exercise in PLT Redex.
Contains a reduction semantics for FJ, type-checking rules and a
number of tests.
Implementation:
See sources/fj.rkt