/featherweight-java

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.

Primary LanguageOCamlMIT LicenseMIT

Featherweight-Java

About

An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
The original version of FJ is a semantics model which simplified the Java language, by Igarasi, Pierce, Wadler. [1]

How to build

Install OPAM into your system, and run the following commands.

  opam switch 4.01.0 # require 4.01.0 or later
  opam install ounit omake
  opam install menhir # optional
  omake

Reference

  • Igarashi, Pierce, Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 2001.

License

this repository is licensed under the MIT License