Sciweavers

11909 search results - page 63 / 2382

» The Scheme Programming Language

75

Voted

ASPLOS
2004
ACM

91views Programming Languages» more ASPLOS 2004»

Locality phase prediction

15 years 8 months ago

Locality phase prediction

Download www.cs.wm.edu

Xipeng Shen, Yutao Zhong, Chen Ding

claim paper

Read More »

117

Voted

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

15 years 8 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

105

Voted

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

15 years 8 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

95

Voted

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

LOOJ: Weaving LOOM into Java

15 years 8 months ago

LOOJ: Weaving LOOM into Java

Download www.cis.upenn.edu

Kim B. Bruce, J. Nathan Foster

claim paper

Read More »

88

Voted

ECOOP
2004
Springer

89views Programming Languages» more ECOOP 2004»

Evolving Pointcut Definition to Get Software Evolution

15 years 8 months ago

Evolving Pointcut Definition to Get Software Evolution

Download homes.dico.unimi.it

Walter Cazzola, Sonia Pini, Massimo Ancona

claim paper

Read More »

« Prev « First page 63 / 2382 Last » Next »