PLDI
2000
ACM
14 years 9 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...
PLDI
2000
ACM
14 years 9 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...
PLDI
2000
ACM
14 years 9 months ago
2000
ACM
PLDI
2000
ACM
14 years 9 months ago
2000
ACM
PLDI
2000
ACM
14 years 9 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...
PLDI
2000
ACM
14 years 9 months ago
2000
ACM
ICFP
2000
ACM
14 years 9 months ago
2000
ACM
ICFP
2000
ACM
14 years 9 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
ICFP
2000
ACM
14 years 9 months ago
2000
ACM
ICFP
2000
ACM
14 years 9 months ago
2000
ACM
ÁÒ Ø × Ô Ô Ö Û ÔÖÓÔÓ× Ò Û Ñ Ø Ó ÓÖ Ö Ú Ò ÔÖ Ø ¹ Ð Ð Ò Ö¹Ø Ñ Ð ÓÖ Ø Ñ ÖÓÑ Ø ×Ô ¬ Ø ÓÒ Ó Ñ Ü ÑÙÑ¹Û Ø×ÙÑ ÔÖÓ Ð Ñ Ö...