Sciweavers

SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 4 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard