Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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