Sciweavers

10585 search results - page 46 / 2117

» The Orc Programming Language

93

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

15 years 8 months ago

Type Class Directives

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

72

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 »

114

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 »

104

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 »

91

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

LOOJ: Weaving LOOM into Java

15 years 7 months ago

LOOJ: Weaving LOOM into Java

Download www.cis.upenn.edu

Kim B. Bruce, J. Nathan Foster

claim paper

Read More »

« Prev « First page 46 / 2117 Last » Next »