Sciweavers

10871 search results - page 68 / 2175
» A stable programming language
Sort
View
PLDI
2000
ACM
14 years 2 days ago
Compiler analysis of irregular memory accesses
ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...
Yuan Lin, David A. Padua
POPL
2000
ACM
14 years 2 days ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot