Building white-box abstractions by program refinement
Abstract
References
Index Terms
- Building white-box abstractions by program refinement
Recommendations
ELECTRA: making distributed programs object-oriented
Sedms'93: USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4Building failure-resilient, distributed software is difficult. In this paper we describe abstractions which help the programmer in developing such software systems by means of object-oriented programming. An object-oriented toolkit called Electra is ...
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
IPPS '96: Proceedings of the 10th International Parallel Processing SymposiumIn many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) require re-implementation of some or all components. This paper presents the ...
Comments
Information & Contributors
Information
Published In

- General Chair:
- Eelco Visser,
- Program Chairs:
- Emerson Murphy-Hill,
- Crista Lopes
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 91Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in