Functional Java Compiler

© Kai Chen

Overview

FJavaC (Functional Java Compiler) is a compiler (for x86) written in OCaml for an extended version of Java with functional features such as higher-order functions and nested function compositions. The major components include a front-end (a lexer and parser), the intermediate representation (IR), the functional intermediate representation (FIR), and a back-end (code-generator, register allocator ...). The full compiler is too huge to be covered here. In this repo, we only present parts we found of most interest.

---

Components of Interest

• Front-end: Lexer, Parser.
• Intermediate Representation (IR): IR, Abstract Syntax Tree (ast), Expressions.
• Functional Intermediate Representation (FIR): Continuation Passing Style (CPS) Conversion, Closure Conversion.
• Back-end: Assembly Code Generation, Liveness Analysis, Register Allocation.
• Optimization: Abstract Syntax Tree (ast) Optimization, Dead Code Elimination, Inlining/Constant Folding.

---

Examples

• A demonstration of the usage of higher-order functions: HigherOrder1.java.
• The assembly dump for HigherOrder1.java generated by our fjavac: HigherOrder1.s.