201 search results - page 41 / 41 » Representing Java Classes in a Typed Intermediate Language |
SOSP
2007
ACM
14 years 1 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...