Sciweavers

SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
16 years 17 days 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