Personal tools
You are here: Home

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 Martin Hofmann and Steffen Jost [HJ06] and has been further developed by Dulma Rodriguez in her PhD thesis. 

We developed a type inference algorithm and interpreter for FJEU programs (Java-like programs) in Ocaml. Here you can download the source code of the tool or use the tool directly for analysing the heap-space requirements of example programs. 

Document Actions