Sciweavers

10585 search results - page 46 / 2117

» The Orc Programming Language

22

PADL
2005
Springer

91views Programming Languages» more PADL 2005»

Type Class Directives

14 years 2 months ago

Type Class Directives

Download people.cs.uu.nl

Bastiaan Heeren, Jurriaan Hage

claim paper

Read More »

19

ASPLOS
2004
ACM

91views Programming Languages» more ASPLOS 2004»

Locality phase prediction

14 years 2 months ago

Locality phase prediction

Download www.cs.wm.edu

Xipeng Shen, Yutao Zhong, Chen Ding

claim paper

Read More »

25

PLDI
2004
ACM

72views Programming Languages» more PLDI 2004»

Race checking by context inference

14 years 2 months ago

Race checking by context inference

Download mtc.epfl.ch

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

22

PLDI
2004
ACM

89views Programming Languages» more PLDI 2004»

Verifying safety properties using separation and heterogeneous abstractions

14 years 2 months ago

Verifying safety properties using separation and heterogeneous abstractions

Download pages.cs.wisc.edu

Eran Yahav, G. Ramalingam

claim paper

Read More »

26

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

LOOJ: Weaving LOOM into Java

14 years 2 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 »