9. OOPSLA 1994: Portland, Oregon
Jeff McKenna, J. Eliot B. Moss, Richard L. Wexelblat (Eds.): OOPSLA'94, Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, USA, October 23-27, 1994. ACM 1994 ISBN 0-89791-688-3, (SIGPLAN Notices 29(10))
SIGPLAN Notices 29(10)
Type Theory

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. 16-30
Naoki Kobayashi, Akinori Yonezawa: Type-Theoretic Foundations for Concurrent Object-Oriented Programming. 31-45
Panel 1
Judy Cohen, Mary Lynn Manns, Susan Lilly, Richard P. Gabriel, Janet Conway, Desmond D'Souza: Panel: Training Professionals in Object Technology. 46-50
Environments
Scott P. Robertson, John M. Carroll, Robert L. Mack, Mary Beth Rosson, Sherman R. Alpert, Jürgen Koenemann-Belliveau: ODE: A Self-Guided, Scenario-Based Learning Environment for Object-Oriented Design Principles. 51-64
Jean-Yves Vion-Dury, Miguel Santana: Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems. 65-84
Kaj Grønbæk, Jawahar Malhotra: Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach. 85-101
Panel 2
Randall B. Smith, Mark Lentczner, Walter R. Smith, Antero Taivalsaari, David Ungar: Prototype-Based Languages: Object Lessons from Class-Free Programming (Panel). 102-112
Distributed and Persistent Systems
Isabelle Puaut: A Distributed Garbage Collector for Active Objects. 113-128
Daniel Hagimont, Pierre-Yves Chevalier, André Freyssinet, Sacha Krakowiak, Serge Lacourte, Jacques Mossière, Xavier Rousset de Pina: Persistent Shared Object Support in the Guide System: Evaluation & Related Work. 129-144
Panel 3
Yen-Ping Shan, Ken Auer, Andrew J. Bear, Jim Adamczyk, Adele Goldberg, Tom Love, Dave A. Thomas: Smalltalk in the Business World: The Good, the Bad, and the Future (Panel). 145-152
Multiple Inheritance
Ed Seidewitz: Genericity versus Inheritance Reconsidered: Self-Reference Using Generics. 153-163
Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier: Proposal for a Monotonic Multiple Inheritance Linearization. 164-175
Daniel M. Yellin, Robert E. Strom: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. 176-190
Object Orientation with File Systems and Databases
John F. Karpovich, Andrew S. Grimshaw, James C. French: Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O. 191-204
Darryl James Rothering: Development of an OO Infrastructure for Mainframe Database Applications. 205-211
Andrea Spinelli, Paolo Salvaneschi, Mauro Cadei, Marino Rocca: MI - An Object Oriented Environment for Integration of Scientific Applications. 212-222
Panel 4
David E. Monarchi, Grady Booch, Brian Henderson-Sellers, Ivar Jacobson, Stephen J. Mellor, James E. Rumbaugh, Rebecca Wirfs-Brock: Methodology Standards: Help or Hindrance? 223-228
Language Implementation I
Urs Hölzle, David Ungar: A Third-Generation SELF Implementation: Reconsiling Responsiveness with Performance. 229-243
Eric Amiel, Olivier Gruber, Eric Simon: Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables. 244-258
Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning: Implementing Constraint Imperative Programming Languages: The Kaleidospace'93 Virtual Machine. 259-271
Analysis and Design
Bent Bruun Kristensen: Complex Associations: Abstractions in Object-Oriented Modeling. 272-286
Richard Jordan, Ruth Smilan, Alex Wilkinson: Streamlining the Project Cycle With Object-Oriented Requirements. 287-300
Raymond J. A. Buhr, Ronald S. Casselman: Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. 301-316
Panel 5
Lutz Heuser, John Dilley, Hari Madduri, Steven Rabin, Shawn Woods: Development of Distributed and Client/Server Object-Oriented Applications: Industry Solutions (Panel). 317-323
Language Implementation II
John Plevyak, Andrew A. Chien: Precise Concrete Type Inference for Object-Oriented Languages. 324-340

Panel 6
Thomas Atwoode, Jnan Dash, Jacob Stein, Michael Stonebraker, Mary E. S. Loomis: Objects and Databases (Panel). 371-372
Databases

Rodolfo F. Resende, Divyakant Agrawal, Amr El Abbadi: Semantic Locking in Object-Oriented Database Systems. 388-402
Tamiya Onodera: Experience with Representing C++ Program Information in an Object-Oriented Database. 403-413
Invited Session: OODB Benchmarking
Michael J. Carey, David J. DeWitt, Chander Kant, Jeffrey F. Naughton: A Status Report on the oo7 OODBMS Benchmarking Effort. 414-426
Metaclasses and Exemplars
Ira R. Forman, Scott Danforth, Hari Madduri: Composition of Before/After Metaclasses in SOM. 427-439
Victor B. Lortz, Kang G. Shin: Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization. 453-467
Panel 7
Steven Fraser, Kent Beck, Grady Booch, Derek Coleman, James Coplien, Richard Helm, Kenneth S. Rubin: How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel). 468-473



