RAJA

RAJA Type System

TOC

Resource Aware JAva (RAJA) is a type system for amortized BR heap space analysis of object-oriented programs. This tool consists of a BR type checker and an interpreter for RAJA programs written in Ocaml.

Source Code

• src/raja_src.tar.gz

Owners

• Dulma Rodriguez

Version: 3 Time: Tue Oct 7 14:16:18 2008 Author: dulmarod (None) IP: 141.84.9.37