PLDI
2000
ACM
14 years 3 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
PLDI
2000
ACM
14 years 3 months ago
2000
ACM
ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...