Virtual classes: A powerful mechanism in object-oriented programming (1989)

Cached

Download Links

by Ole Lehrmann Madsen , Birger Møller-pedersen
Citations:105 - 2 self

Active Bibliography

Inheritance Anomaly – Lobel Crnogorac, Prof Kotagiri Ramamohanarao, Dr. Anand, S. Rao - 1995
Fully Abstract Model of Reactive Objects – Roger Duke, Cecily Bailes, Graeme Smith - 1996
Characterizing and Inheriting Synchronization Constraints using Behavior Sets – R. Greg Lavender, Dennis G. Kafura
3 Inheritance and Expressive Power in Concurrent Object-Oriented Programming – Michael Papathomas, Juan Hernández, Juan Manuel Murillo, Fernando Sánchez, Fernando S'anchez - 1997
7 A Coalgebraic Semantics of Subtyping – Erik Poll - 2000
2 The Impact Of Distribution On Support For Object-Oriented Software Development – Gordon Blair, Rodger Lea - 1993
3 Parallel Object-Oriented Programming with QPC++ – Dietrich Boles - 1993
1 On Object-Oriented Design and Verification – C. Lewerentz, Th. Lindner, A. Rüping, E. Sekerinski
5 CO-OPN/2 - A Specification Language for Distributed Systems Engineering – Olivier Biberstein, Didier Buchs, Nicolas Guelfi - 1996
8 Using Abstraction in Explicitly Parallel Programs – Katherine Anne Yelick - 1990
2 Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench – Georgios Grivas, Roman E. Maeder - 1993
1 Concurrent Object-Oriented Programming in Python with ATOM – Michael Papathomas, Anders Andersen - 1997
3 On Binary Methods – Gary T. Leavens, Benjamin Pierce, Giuseppe Castagna, The Hopkins Objects Group, Kim Bruce, Kim Bruce, Luca Cardelli, Luca Cardelli - 1995
2 Formalizing lightweight verification of software component composition – Stephen Mccamant, Michael D. Ernst - 2004
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs – Gary T. Leavens, William E. Weihl - 1994
9 Customization of First-Class Tuple-Spaces in a Higher-Order Language – Suresh Jagannathan - 1991
2 Scenario networks for software specification and scenario management – Thomas A. Alspaugh, Student Member, Annie I. Antón - 2001
5 TAO - A Model for the Integration of Concurrency and Synchronisation in Object-Oriented Programming – S. E. Mitchell - 1995