|
4
|
A Foundation of Escape Analysis
– Patricia M. Hill, Fausto Spoto
- 2002
|
|
22
|
Stack allocation and synchronization optimizations for java using escape analysis
– Jong-deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C, Samuel P. Midkiff
- 2003
|
|
10
|
Omen: A strategy for testing object-oriented software
– Amie L. Souter
- 2000
|
|
2
|
M.: Efficiently verifiable escape analysis
– Matthew Q. Beers, Christian H. Stork, Michael Franz
|
|
20
|
Escape Analysis for Java. Theory and Practice
– Bruno Blanchet
- 2003
|
|
32
|
Fast Escape Analysis and Stack Allocation for Object-Based Programs
– David Gay, Bjarne Steensgaard
- 2000
|
|
84
|
Points-to Analysis for Java Using Annotated Constraints
– Atanas Rountev, Ana Milanova, Barbara G. Ryder
- 2001
|
|
20
|
Points-to Analysis for Java Based on Annotated Constraints
– Atanas Rountev, Ana Milanova, Barbara G. Ryder
- 2000
|
|
2
|
Logic Programs as Compact Denotations
– Patricia M. Hill, Fausto Spoto
- 2003
|
|
241
|
Escape analysis for Java
– Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff
- 1999
|
|
89
|
Escape Analysis for Object Oriented Languages. Application to Java
– Bruno Blanchet
- 1999
|
|
2
|
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
– Francesco Logozzo, École Polytechnique, Agostino Cortesi
|
|
4
|
Compositional Pointer and Escape Analysis for Multithreaded Java
– Programs Martin Rinard, Martin Rinard, John Whaley
- 1999
|
|
7
|
Points-to Analysis for Java Using Annotated Inclusion Constraints
– Atanas Rountev, Ana Milanova, Barbara G. Ryder
- 2000
|
|
3
|
Message analysis for concurrent languages
– Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
- 2003
|
|
211
|
Compositional Pointer and Escape Analysis for Java Programs
– John Whaley, Martin Rinard
- 1999
|
|
|
Compositional Pointer and Escape . . .
– John Whaley, et al.
|
|
22
|
Heap Data Allocation to Scratch-Pad Memory in Embedded Systems
– Angel Dominguez, Sumesh Udayakumaran, Rajeev Barua
- 2005
|
|
9
|
Code Annotation for Safe and Efficient Dynamic Object Resolution
– Andreas Hartmann, Wolfram Amme, Jeffery Von Ronne, Michael Franz
- 2003
|
