9. OOPSLA 1994: Portland, Oregon

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
  

Last update Fri May 24 19:41:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page