Sciweavers

10666 search results - page 51 / 2134

» Quantum programming languages

16

ASPLOS
2004
ACM

91views Programming Languages» more ASPLOS 2004»

Locality phase prediction

14 years 1 months ago

Locality phase prediction

Download www.cs.wm.edu

Xipeng Shen, Yutao Zhong, Chen Ding

claim paper

Read More »

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 »

« Prev « First page 51 / 2134 Last » Next »