Sciweavers

12452 search results - page 212 / 2491
» An exploration of program as language
Sort
View
PLDI
2006
ACM
16 years 1 months ago
Profile-based global live-range splitting
Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu,...
ESOP
2005
Springer
16 years 23 days ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
ASPLOS
2004
ACM
16 years 20 days ago
Spatial computation
Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...
PLDI
2004
ACM
16 years 20 days ago
Array regrouping and structure splitting using whole-program reference affinity
Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...