9. OOPSLA 1994: Portland, Oregon

OOPSLA'94, Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, 23-27 October, Portland, Oregon, USA, Proceedings. SIGPLAN Notices 29(10), October 1994

Type Theory

Craig Chambers, Gary T. Leavens: Typechecking and Modules for Multi-Methods. 1-15
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
Phillip Bogle, Barbara Liskov: Reducing Cross Domain Call Overhead using Batched Futures. 341-354
Ole Agesen, David Ungar: Sifting Out the Gold. 355-370

Panel 6

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

Databases

Bob Beck, Steve Hartley: Persistent Storgage for a Workflow Tool Implemented in Smalltalk. 373-387
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
Scott Danforth, Ira R. Forman: Reflections on Metaclass Rorgramming in SOM. 440-452
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