TOPLAS 2002 | Sciweavers

24

TOPLAS
2002

89views more TOPLAS 2002»

Efficient and precise array access analysis

13 years 11 months ago

A number of existing compiler techniques hinge on the analysis of array accesses in the program. The most important task in array access analysis is to collect the information abo...

Yunheung Paek, Jay Hoeflinger, David A. Padua

claim paper

Read More »

43

click to vote

TOPLAS
2002

98views more TOPLAS 2002»

Data abstraction and information hiding

13 years 11 months ago

Download research.microsoft.com

traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...

K. Rustan M. Leino, Greg Nelson

claim paper

Read More »

34

click to vote

TOPLAS
2002

81views more TOPLAS 2002»

Automatic data and computation decomposition on distributed memory parallel computers

13 years 11 months ago

Download pages.cs.brandeis.edu

PeiZong Lee, Zvi M. Kedem

claim paper

Read More »

50

click to vote

TOPLAS
2002

116views more TOPLAS 2002»

Type-preserving compilation of Featherweight Java

13 years 11 months ago

Download www.cis.upenn.edu

We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...

Christopher League, Zhong Shao, Valery Trifonov

claim paper

Read More »

22

click to vote

TOPLAS
2002

66views more TOPLAS 2002»

On the usefulness of type and liveness accuracy for garbage collection and leak detection

13 years 11 months ago

Download www-plan.cs.colorado.edu

Martin Hirzel, Amer Diwan, Johannes Henkel

claim paper