ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 25 Issue 6, November 2003

Escape analysis for JavaTM: Theory and practice
Bruno Blanchet
Pages: 713-775
DOI: 10.1145/945885.945886
Escape analysis is a static analysis that determines whether the lifetime of data may exceed its static scope.This paper first presents the design and correctness proof of an escape analysis for JavaTM. This analysis is interprocedural,...

Fractal symbolic analysis
Vijay Menon, Keshav Pingali, Nikolay Mateev
Pages: 776-813
DOI: 10.1145/945885.945888
Modern compilers restructure programs to improve their efficiency. Dependence analysis is the most widely used technique for proving the correctness of such transformations, but it suffers from the limitation that it considers only the memory...

Extending Java for high-level Web service construction
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
Pages: 814-875
DOI: 10.1145/945885.945890
We incorporate innovations from the <bigwig> project into the Java language to provide high-level features for Web service programming. The resulting language, JWIG, contains an advanced session model and a flexible mechanism for dynamic...

Stack allocation and synchronization optimizations for Java using escape analysis
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
Pages: 876-910
DOI: 10.1145/945885.945892
This article presents an escape analysis framework for Java to determine (1) if an object is not reachable after its method of creation returns, allowing the object to be allocated on the stack, and (2) if an object is reachable only from a...