Search Sciweavers | Sciweavers

11909 search results - page 194 / 2382

» The Scheme Programming Language

162

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

16 years 14 days ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

113

click to vote

ASPLOS
2004
ACM

97views Programming Languages» more ASPLOS 2004»

Spatial computation

16 years 11 days ago

Download www.cs.cmu.edu

Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...

claim paper

Read More »

148

Voted

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

16 years 11 days ago

Download www.cs.rochester.edu

Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...

claim paper

Read More »

142

click to vote

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

16 years 10 days ago

Download www.cs.rutgers.edu

Matthew Q. Beers, Christian Stork, Michael Franz

claim paper

Read More »

124

Voted

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers