Dulma Rodriguez, Type Inference for RAJA: New Developments
Type inference for RAJA: New developments.
RAJA is a type system for static amortised analysis of heap-space requirements for Java style object-oriented programs. Our current research aims at providing fully automatic resource usage inference based on a constraint-based type inference. The analysis is modular and comprises two steps:
- Finding the resource-usage constraints of the methods by analysing the code.
- Solving the constraints using linear programming.