23 search results - page 2 / 5 » pldi 2000 |
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
PLDI
2000
ACM
13 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...
PLDI
2000
ACM
13 years 9 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...