Search Sciweavers | Sciweavers

10871 search results - page 177 / 2175

» A stable programming language

click to vote

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

14 years 4 months ago

Download research.microsoft.com

Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu,...

claim paper

Read More »

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 4 months ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

click to vote

ASPLOS
2004
ACM

97views Programming Languages» more ASPLOS 2004»

Spatial computation

14 years 4 months ago

Download www.cs.cmu.edu

Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...

claim paper

Read More »

click to vote

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

14 years 4 months ago

Download www.cs.rochester.edu

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

claim paper

Read More »

click to vote

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers