Stefano Crespi-Reghizzi
- Atkinson 91.: Atkinson, C. "Object-Oriented Reuse, Concurrence and Distribution", ACM Press/Addison Wesley 1991. Google Scholar
- Crespi Reghizzi et al 91.: Crespi Reghizzi S. et al. "Definition of Reusable Concurrent Software Components", (P. America Ed)ECOOP '91, Springer-Verlag 1991. Google ScholarDigital Library
- Decouchant et al 91.: Decouchant D. et al. "A Synchronization Mechanism for an Object- Oriented Distributed System", BulIjMAG Rapport Technique 9-91.Google Scholar
- Di Maio et al 89.: Di Maio A. et al. "DRAGOON: An Ada-Based Object Oriented Language for Concurrent, Real Time, Distributed Systems", Proc. A da-Europe Conference, Madrid 1989.Google Scholar
- Meyer 88.: Meyer B. 'Object-Oriented Software Construction", Prentice Hall 1988. Google ScholarDigital Library
- Von Wright 80.: Von Wright G.H. "Problems and Prospects of Deontic Logic: A Survey", in Modern Logic- A Survey: Historical Philosophical and Mathematical Aspects of Modern Logic and its Applications, (Agazzi E. Ed.) Reidel Publishing Company, 1980.Google Scholar
Index Terms
- Behavioral inheritance: concepts, Ada implementation and experience
Recommendations
Using inheritance to implement concurrency
The Ada programming language is an excellent vehicle for teaching concurrent programming because support for concurrency has been designed into the language. The paper shows how primitives from other concurrent programming languages (occam, Linda, Joyce)...
Forcing behavioral subtyping through specification inheritance
ICSE '96: Proceedings of the 18th international conference on Software engineeringA common change to object-oriented software is to add a new type of data that is a subtype of some existing type in the program. However, due to message passing, unchanged pearls of the program may now call operations of the new type. To avoid ...
Comments