Sciweavers

10871 search results - page 68 / 2175
» A stable programming language
Sort
View
115
Voted
PLDI
2000
ACM
15 years 7 months ago
Compiler analysis of irregular memory accesses
ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...
Yuan Lin, David A. Padua
96
Voted
PLDI
2000
ACM
15 years 7 months ago
Transforming loops to recursion for multi-level memory hierarchies
Qing Yi, Vikram S. Adve, Ken Kennedy
100
Voted
POPL
2000
ACM
15 years 7 months ago
Anytime, Anywhere: Modal Logics for Mobile Ambients
Luca Cardelli, Andrew D. Gordon
106
Voted
POPL
2000
ACM
15 years 7 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot