131
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
166
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
160
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...
145
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
120
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...