Sciweavers

10871 search results - page 52 / 2175

» A stable programming language

19

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

14 years 1 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

19

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

14 years 1 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

23

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

LOOJ: Weaving LOOM into Java

14 years 1 months ago

LOOJ: Weaving LOOM into Java

Download www.cis.upenn.edu

Kim B. Bruce, J. Nathan Foster

claim paper

Read More »

23

ECOOP
2004
Springer

89views Programming Languages» more ECOOP 2004»

Evolving Pointcut Definition to Get Software Evolution

14 years 1 months ago

Evolving Pointcut Definition to Get Software Evolution

Download homes.dico.unimi.it

Walter Cazzola, Sonia Pini, Massimo Ancona

claim paper

Read More »

21

ECOOP
2004
Springer

102views Programming Languages» more ECOOP 2004»

AspectJ2EE = AOP + J2EE

14 years 1 months ago

AspectJ2EE = AOP + J2EE

Download se.inf.ethz.ch

Tal Cohen, Joseph Gil

claim paper

Read More »

« Prev « First page 52 / 2175 Last » Next »