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 BibTeX
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. 16-30 BibTeX
Naoki Kobayashi, Akinori Yonezawa: Type-Theoretic Foundations for Concurrent Object-Oriented Programming. 31-45 BibTeX

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 BibTeX

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 BibTeX
Jean-Yves Vion-Dury, Miguel Santana: Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems. 65-84 BibTeX
Kaj Grønbæk, Jawahar Malhotra: Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach. 85-101 BibTeX

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 BibTeX

Distributed and Persistent Systems

Isabelle Puaut: A Distributed Garbage Collector for Active Objects. 113-128 BibTeX
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 BibTeX

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 BibTeX

Multiple Inheritance

Ed Seidewitz: Genericity versus Inheritance Reconsidered: Self-Reference Using Generics. 153-163 BibTeX
Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier: Proposal for a Monotonic Multiple Inheritance Linearization. 164-175 BibTeX
Daniel M. Yellin, Robert E. Strom: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. 176-190 BibTeX

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 BibTeX
Darryl James Rothering: Development of an OO Infrastructure for Mainframe Database Applications. 205-211 BibTeX
Andrea Spinelli, Paolo Salvaneschi, Mauro Cadei, Marino Rocca: MI - An Object Oriented Environment for Integration of Scientific Applications. 212-222 BibTeX

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 BibTeX

Language Implementation I

Urs Hölzle, David Ungar: A Third-Generation SELF Implementation: Reconsiling Responsiveness with Performance. 229-243 BibTeX
Eric Amiel, Olivier Gruber, Eric Simon: Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables. 244-258 BibTeX
Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning: Implementing Constraint Imperative Programming Languages: The Kaleidospace'93 Virtual Machine. 259-271 BibTeX

Analysis and Design

Bent Bruun Kristensen: Complex Associations: Abstractions in Object-Oriented Modeling. 272-286 BibTeX
Richard Jordan, Ruth Smilan, Alex Wilkinson: Streamlining the Project Cycle With Object-Oriented Requirements. 287-300 BibTeX
Raymond J. A. Buhr, Ronald S. Casselman: Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. 301-316 BibTeX

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 BibTeX

Language Implementation II

John Plevyak, Andrew A. Chien: Precise Concrete Type Inference for Object-Oriented Languages. 324-340 BibTeX
Phillip Bogle, Barbara Liskov: Reducing Cross Domain Call Overhead using Batched Futures. 341-354 BibTeX
Ole Agesen, David Ungar: Sifting Out the Gold. 355-370 BibTeX

Panel 6

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

Databases

Bob Beck, Steve Hartley: Persistent Storgage for a Workflow Tool Implemented in Smalltalk. 373-387 BibTeX
Rodolfo F. Resende, Divyakant Agrawal, Amr El Abbadi: Semantic Locking in Object-Oriented Database Systems. 388-402 BibTeX
Tamiya Onodera: Experience with Representing C++ Program Information in an Object-Oriented Database. 403-413 BibTeX

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 BibTeX

Metaclasses and Exemplars

Ira R. Forman, Scott Danforth, Hari Madduri: Composition of Before/After Metaclasses in SOM. 427-439 BibTeX
Scott Danforth, Ira R. Forman: Reflections on Metaclass Rorgramming in SOM. 440-452 BibTeX
Victor B. Lortz, Kang G. Shin: Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization. 453-467 BibTeX

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 BibTeX