Sciweavers

7961 search results - page 30 / 1593
» Input-Output Model Programs
Sort
View
83
Voted
ECOOP
1999
Springer
15 years 6 months ago
A Trace Model for Pointers and Objects
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
C. A. R. Hoare, Jifeng He
POPL
2005
ACM
16 years 2 months ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve