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

Cached

Download Links

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

Active Bibliography

167 Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages – Satoshi Matsuoka, Akinori Yonezawa - 1993
133 Active Object -- An Object Behavioral Pattern for . . . – R. Greg Lavender , Douglas C. Schmidt - 1996
127 A runtime assertion checker for the Java Modeling Language (JML) – Yoonsik Cheon, Gary T. Leavens - 2002
117 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
113 On the Notion of Inheritance – Antero Taivalsaari - 1996
107 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
72 How the design of JML accommodates both runtime assertion checking and formal verification – Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok - 2003
37 Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages – Satoshi Matsuoka, Kenjiro Taura, Akinori Yonezawa - 1993
34 Optimization of Object-oriented and Concurrent Programs – Cflcopyright John Bradley Plevyak - 1996