Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Publications
Date
Featured collections
Popular topics
3 results at PLDI 2002
A parallel, incremental and concurrent GC for servers
- Yoav Ossia
- Ori Ben-Yitzhak
- et al.
- 2002
- PLDI 2002
Efficient and precise datarace detection for multithreaded object-oriented programs
- Jong-Deok Choi
- Keunwoo Lee
- et al.
- 2002
- PLDI 2002