Sciweavers

12452 search results - page 212 / 2491
» An exploration of program as language
Sort
View
PLDI
2006
ACM
16 years 17 days ago
Profile-based global live-range splitting
Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu,...
ESOP
2005
Springer
16 years 4 days ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
ASPLOS
2004
ACM
16 years 1 days ago
Spatial computation
Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...