Search Sciweavers | Sciweavers

10575 search results - page 149 / 2115

» T2Script Programming Language

click to vote

PLDI
2006
ACM

97views Programming Languages» more PLDI 2006»

Profile-based global live-range splitting

15 years 10 months ago

Download research.microsoft.com

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

claim paper

Read More »

129

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 10 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

15 years 10 months ago

Download www.cs.cmu.edu

Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...

claim paper

Read More »

123

Voted

PLDI
2004
ACM

105views Programming Languages» more PLDI 2004»

Array regrouping and structure splitting using whole-program reference affinity

15 years 10 months ago

Download www.cs.rochester.edu

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

claim paper

Read More »

105

click to vote

ECOOP
2004
Springer

65views Programming Languages» more ECOOP 2004»

Efficiently Verifiable Escape Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers