GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → ilyasergey → plt-redex-fj

ilyasergey / plt-redex-fj

Licence: other
A PLT Redex implementation of Featherweight Java

Programming Languages

racket
414 projects

Labels

featherweight-javaplt-redexoperational-semantics

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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].