Prototype implementation of RAJA
This is the homepage of the prototype implementation of a type system for amortised heap space analysis for object-oriented programs called Resource Aware JAva (RAJA), which has been first proposed by Hofmann and Jost in [HJ06]. The complete soundness proof can be found here [HJR09]. We are developing a type inference algorithm and interpreter for FJEU programs in Ocaml.
