Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 17 days 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 (about 12 years ago)
- Default Branch: master
- Last Pushed: 2012-10-08T12:57:31.000Z (about 12 years ago)
- Last Synced: 2023-03-11T02:19:18.568Z (almost 2 years ago)
- Topics: featherweight-java, operational-semantics, plt-redex
- Language: Racket
- Homepage:
- Size: 155 KB
- Stars: 14
- 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