Sciweavers

4719 search results - page 11 / 944
» Newtonian program analysis
Sort
View
73
Voted
PLDI
2000
ACM
15 years 7 months ago
Scalable context-sensitive flow analysis using instantiation constraints
Manuel Fähndrich, Jakob Rehof, Manuvir Das
108
Voted
PLDI
2000
ACM
15 years 7 months ago
Compiler analysis of irregular memory accesses
ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...
Yuan Lin, David A. Padua
103
Voted
TOOLS
1999
IEEE
15 years 7 months ago
Contracts: From Analysis to C++ Implementation
Reinhold Plösch, Josef Pichler