kirancodes.me
To Proof Maintenance & Beyond!

Region analysis and transformation for Java programs

Sigmund Cherem, Radu Rugina

Abstract

This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent output program with region-based memory management. The generated program contains statements for creating regions, allocating objects in regions, removing regions, and passing regions as parameters. As a particular case, the analysis can enable the allocation of objects on the stack.

Related papers