23 search results - page 2 / 5 » pldi 2000 |
PLDI
2000
ACM
13 years 9 months ago
2000
ACM
PLDI
2000
ACM
13 years 9 months ago
2000
ACM
PLDI
2000
ACM
13 years 9 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 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
13 years 8 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...