Sciweavers

10622 search results - page 170 / 2125
» Python Programming Language
Sort
View
PLDI
2006
ACM
16 years 25 days ago
Profile-based global live-range splitting
Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu,...
ESOP
2005
Springer
16 years 12 days ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
ASPLOS
2004
ACM
16 years 9 days ago
Spatial computation
Mihai Budiu, Girish Venkataramani, Tiberiu Chelcea...