4385 search results - page 3 / 877 » Abstraction for Concurrent Objects |
FMOODS
2008
13 years 8 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
ENTCS
2008
13 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
CONCURRENCY
2008
13 years 7 months ago
2008
PPOPP
1990
ACM
13 years 11 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...