title: Object-Preserving Class Transformations

abstract: Reorganization of classes for object-oriented programming and object-oriented database design has recently received considerable attention in the literature. In this paper a small set of primitive transformations is presented which forms an orthogonal basis for object-preserving class reorganizations. This set is proven to be correct, complete, and minimal. The primitive transformations help form a theoretical basis for class organization and are a powerful tool for reasoning about particular organizations. Keywords: Object-oriented programming and design, object-oriented database design, class library organization. 1 Introduction Reorganization of classes for object-oriented programming and object-oriented database design has recently received considerable attention in the literature: [BCG + 87], [LBSL90], [LBSL91], [AH87], [BMW86], [Cas89], [Cas90], [LM91], [Pir89], [PW89]. A number of researchers have suggested algorithms and hueristics to produce "good" class organizations. A ...


venue: oopsla

title: Making Pure Object-Oriented Languages Practical

authors:
Craig Chambers
David M. Ungar

abstract: In the past, object-oriented language designers and programmers have been forced to choose between pure message passing and performance. Last year, our SELF system achieved close to half the speed of optimized C but suffered from impractically long compile times. Two new optimization techniques, deferred compilation of uncommon cases and non-backtracking splitting using path objects, have improved compilation speed by more than an order of magnitude. SELF now compiles about as fast as an optimizing C compiler and runs at over half the speed of optimized C. This new level of performance may make pure object-oriented languages practical. 1 Introduction In the past, object-oriented language designers and programmers have been forced to choose between purity and performance. In a pure object-oriented language, all computation, even low-level operations like variable accessing, arithmetic, and array indexing, is performed by sending messages to objects. Although a message send may cost o...


title: Formal Techniques for OO Software Development (Panel)

authors:
Dennis de Champeaux
Pierre America
Derek Coleman
Roger Duke
Doug Lea
Gary T. Leavens
Fiona Hayes

abstract: Article Free Access Share on Formal techniques for OO software development Authors: Pierre America Philips Research Laboratories Philips Research LaboratoriesView Profile , Derek Coleman HP-Lab Bristol HP-Lab BristolView Profile , Roger Duke University of Queensland University of QueenslandView Profile , Doug Lea Syracuse University & SUNY-Oswego Syracuse University & SUNY-OswegoView Profile , Gary Leavens Iowa State University Iowa State UniversityView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 166–170https://doi.org/10.1145/117954.117967Published:01 November 1991Publication History 2citation376DownloadsMetricsTotal Citations2Total Downloads376Last 12 Months13Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Towards a Metrics Suite for Object Oriented Design

authors:
Shyam R. Chidamber
Chris F. Kemerer

abstract: "June 1991."


title: A Static Type System for Message Passing

abstract: Much research has been performed with the aim of isolating the basic notions of object-oriented languages and of describing them by basic operators which can be embedded in strongly-typed languages. In this context we define an atomic linguistic construct to capture the notion of message passing, and we define a static and strong type system, based on subtyping, for this construct. Message passing is modelled as the application of an overloaded function, whose behavior is determined only at compile-time on the basis of the class which created a distinguished argument, the object "receiving" the message. By embedding this mechanism in a strongly-typed language with subtyping and abstract data types we can obtain the full functionality of object-oriented languages. We show that this approach is strictly more expressive then the usual interpretation of message passing as selection plus application of a functional record field.


title: Composite Multimedia and Active Objects

abstract: An object-oriented framework for composite multimedia is described. In analogy to constructing complex graphics entities from graphics primitives and geometric transformations, composite multimedia is constructed from multimedia primitives and temporal transformations. Active objects based on real-time processes are proposed as multimedia primitives. Their combination to form composite multimedia and the requisite temporal transformations are illustrated. 1. Introduction The improving capabilities of multimedia workstations, combined with the development of multimedia recording formats (for example, CD-I and DVI, see [14] for a recent description) is likely to increase the demand for applications involving multimedia. However the development of multimedia applications is presently hampered by two key problems: First, multimedia involves concepts from audio recording, video production, animation, and music -- concepts that are novel to many programmers. Second, multimedia operations of...


title: Portia: AN Instance-Centered Environment for Smalltalk

authors:
Eric Gold
Mary Beth Rosson

abstract: Smalltalk environments should accommodate programmers' conceptualizations of objects as independent, communicating agents by providing tools that allow them to work directly with instances.This paper discusses the requirements for such an environment, assesses the standard Smalltalk environment in this respect, and describes an enhanced Smalltalk environment called Portia which provides additional facilities for interacting with instances.


title: The Economics of Software Reuse (Panel)

authors:
Martin L. Griss
Sam S. Adams
Howard Baetjer Jr.
Brad J. Cox
Adele Goldberg

abstract: article Free Access Share on The economics of software reuse Authors: Martin Griss Hewlett-Packard Laboratories Hewlett-Packard LaboratoriesView Profile , Sam S. Adams Knowledge Systems Corporation Knowledge Systems CorporationView Profile , Howard Baetjer Agorics Project, George Mason University Agorics Project, George Mason UniversityView Profile , Brad J. Cox Information Age Consulting Information Age ConsultingView Profile , Adele Goldberg ParcPlace Systems ParcPlace SystemsView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 26Issue 11Nov. 1991 pp 264–270https://doi.org/10.1145/118014.117974Online:01 November 1991Publication History 4citation651DownloadsMetricsTotal Citations4Total Downloads651Last 12 Months26Last 6 weeks7 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Building Generic User Interface Tools: an Experience with Multiple Inheritance

abstract: Article Free Access Share on Building generic user interface tools: an experience with multiple inheritance Author: Nuno Guimarães AT&T Bell Laboratories, NJ, IST/INESC, Lisbon, Portugal, R.Alves Redol, 9, 6o., 1000 Lisboa AT&T Bell Laboratories, NJ, IST/INESC, Lisbon, Portugal, R.Alves Redol, 9, 6o., 1000 LisboaView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 89–96https://doi.org/10.1145/117954.117961Published:01 November 1991Publication History 4citation356DownloadsMetricsTotal Citations4Total Downloads356Last 12 Months21Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit

authors:
Eric N. Hanson
Tina M. Harvey
Mark A. Roth

abstract: Article Free Access Share on Experiences in DBMS implementation using an object-oriented persistent programming language and a database toolkit Authors: Eric N. Hanson Artificial Intelligence Technology Office (WL/AAA-1), Air Force Wright Laboratory, Wright-Patterson AFB, OH and Wright State University Artificial Intelligence Technology Office (WL/AAA-1), Air Force Wright Laboratory, Wright-Patterson AFB, OH and Wright State UniversityView Profile , Tina M. Harvey 7th Communications Group/DOWI, The Pentagon, Washington DC and Department of Electrical and Computer Engineering, Air Force Institute of Technology 7th Communications Group/DOWI, The Pentagon, Washington DC and Department of Electrical and Computer Engineering, Air Force Institute of TechnologyView Profile , Mark A. Roth Department of Electrical and Computer Engineering (AFIT/ENG), Air Force Institute of Technology, Wright-Patterson AFB, OH Department of Electrical and Computer Engineering (AFIT/ENG), Air Force Institute of Technology, Wright-Patterson AFB, OHView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 314–328https://doi.org/10.1145/117954.117978Published:01 November 1991Publication History 4citation718DownloadsMetricsTotal Citations4Total Downloads718Last 12 Months19Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Using Key Object Opportunism to Collect Old Objects

abstract: Object allocationand deallocation data gathered for the Cedar system on Xerox Dorados supports the weak generational hypothesis!newly-created objects have a much lower survival rate than objects that are older.The survivors at all collections thresholds are highly organized; large clusters of objects are allocated at roughly the same time, and live for roughly the same length of time.By cleverly selecting representatives from the clusters and examining the reachability of these key objects more frequently than the cluster itself, the storage system can use the death of these key objects to find good opportunities to collect the clusters they represent.


title: Coherent Models for Object-Oriented Analysis

authors:
Fiona Hayes
Derek Coleman

abstract: Article Free Access Share on Coherent models for object-oriented analysis Authors: Fiona Hayes Hewlett Packard Laboratories, Bristol BS12 6QZ, UK Hewlett Packard Laboratories, Bristol BS12 6QZ, UKView Profile , Derek Coleman Hewlett Packard Laboratories, Bristol BS12 6QZ, UK Hewlett Packard Laboratories, Bristol BS12 6QZ, UKView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 171–183https://doi.org/10.1145/117954.117968Online:01 November 1991Publication History 36citation438DownloadsMetricsTotal Citations36Total Downloads438Last 12 Months9Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Integrating Information Retrieval and Domain Specific Approaches for Browsing and Retrieval in Object-Oriented Class Libraries

authors:
Richard Helm
Yoëlle S. Maarek

abstract: Article Integrating information retrieval and domain specific approaches for browsing and retrieval in object-oriented class libraries Share on Authors: Richard Helm I.B.M. Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY I.B.M. Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NYView Profile , Yoëlle S. Maarek I.B.M. Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY I.B.M. Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NYView Profile Authors Info & Claims OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applicationsNovember 1991 Pages 47–61https://doi.org/10.1145/117954.117958Online:01 November 1991Publication History 40citation526DownloadsMetricsTotal Citations40Total Downloads526Last 12 Months6Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: Islands: Aliasing Protection in Object-Oriented Languages

abstract: article Free Access Share on Islands: aliasing protection in object-oriented languages Author: John Hogg Bell-Northern Research, Ottawa, Ontario Bell-Northern Research, Ottawa, OntarioView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 26Issue 11Nov. 1991 pp 271–285https://doi.org/10.1145/118014.117975Online:01 November 1991Publication History 211citation884DownloadsMetricsTotal Citations211Total Downloads884Last 12 Months30Last 6 weeks8 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: OOP and AI (Panel)

authors:
Mamdouh Ibrahim
Daniel G. Bobrow
Carl Hewitt
Jean-François Perror
Reid G. Smith
Howard E. Shrobe

abstract: No abstract available.


title: Re-engineering of Old Systems to an Object-Oriented Database

authors:
Ivar Jacobson
Fredrik Lindström


title: Developing a GUIDE Using Object-Oriented Programming

authors:
Joseph A. Konstan
Lawrence A. Rowe

abstract: PICASSO is a graphical user interface development en-vironment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features in-cluding multiple inheritance, instance methods, multi-methods, and method combinations were used to imple-ment the system. In addition, the benefits and draw-backs of CLOS development are discussed including code quality, maintainability and performance. 1.


title: Managing the Transition to Object-Oriented Technology (Panel)

authors:
Timothy D. Korson
Nelson Hazeltine
Tim Hilgenberg
Reed Philip
David J. Taylor

abstract: No abstract available.


title: An Empirical Study of the Object-Oriented Paradigm and Software Reuse

authors:
John A. Lewis
Sallie M. Henry
Dennis G. Kafura
Robert S. Schulman

abstract: Little or no empirical validation exists for many of software engineering's basic assumptions. While some of these assumptions are intuitive, the need for scientific experimentation remains clear. Several assumptions are made about the factors affecting software reuse, and in particular, the role of the object-oriented paradigm. This paper describes the preliminary results of a controlled experiment designed to evaluate the impact of the object-oriented paradigm on software reuse. The experiment concludes that (1) the object-oriented paradigm substantially improves productivity, although a significant part of this improvement is due to the effect of reuse, (2) reuse without regard to language paradigm improves productivity, (3) language differences are far more important when programmers reuse than when they do not, and (4) the object-oriented paradigm has a particular affinity to the reuse process.


title: Object-Oriented Type Inference

authors:
Jens Palsberg
Michael I. Schwartzbach

abstract: We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding.It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler.Types are finite sets of classes and subtyping is set inclusion.Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation.


title: Issues in Moving from C to C++ (Panel)

authors:
David R. Reed
Marty Cagan
Theodore C. Goldstein
Barbara Moo

abstract: article Free Access Share on Issues in moving from C to C++ Authors: David R. Reed Saber Software Inc., Saber Software Inc.,View Profile , Marty Cagan Interactive Development Environments Interactive Development EnvironmentsView Profile , Ted Goldstein Sun Laboratories Sun LaboratoriesView Profile , Barbara Moo AT&T AT&TView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 26Issue 11Nov. 1991 pp 163–165https://doi.org/10.1145/118014.117966Online:01 November 1991Publication History 1citation357DownloadsMetricsTotal Citations1Total Downloads357Last 12 Months11Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Parallel Generational Garbage Collection

authors:
Ravi Sharma
Mary Lou Soffa


title: The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations

authors:
Sergui S. Simmel
Ivan Godard

abstract: Kala is an untyped persistent store for practical object-based systems, such as OODBMS, OMS, and object-oriented languages with persistence.Baskets are dynamic groupings of immutable data elements managed by Kala.Baskets synthesize transaction, configuration management, and access control semantics, and thus offer a platform for implementing arbitrary such models.In this article we introduce Kala baskets, their design motivations and goals.We then explain Kala's basket mechanism in some detail.Finally, we offer a few examples of how baskets are used to implement features of arbitrary transaction, configuration, and access models.


title: How to Get Your Paper Accepted at OOPSLA

abstract: No abstract available.


title: Equate: An Object-Oriented Constraint Solver

abstract: This paper presents a constraint-solving method that obeys the principle of object encapsulation.Under this method, constraints are translated into procedures for achieving constraint satisfaction.Neither the constraints nor their procedural translations refer directly to an object's implementation; all object references are through the interfaces provided by classes.Translation is performed using definite-clause backward chaining, a technique borrowed from logic programming.Because object classes guide the translation process, the method is applicable to objects of all data types.'Examples in this paper are presented without reference to a specific programming language.A working version of Equate is implemented in the Common Lisp Object System.


title: An Extensible Kernel Object Management System

authors:
Rahim Yaseen
Stanley Y. W. Su
Herman Lam


title: Obstacles in Object-Oriented Software Development

authors:
Mehmet Aksit
Lodewijk Bergmans

abstract: No abstract available.


title: Optimizing Method Search with Lookup Caches and Incremental Coloring

authors:
Pascal André
Jean-Claude Royer

abstract: An efficient mechanism for method lookup is csscntial in any reasonable implementation of a clussbased object-oriented language.One tcchniquc, static caches, provide constant time lookup, but consumes cxcessive memory.To alleviate the memory consumption problem many systems USC a coloring schcmc that allows cache rows to be shared and thus reduces the ovcrall cache size.This technique is easily implcmcntcd I'OI stongly typed languages such as C++ and Eiffcl, but not for languages such as CLOS or Smalltalk.This papct provides a solution to this latter problem: that of coloring for static caches in dynamically typed objcct-oricnted languages.Our solution is to use an incrcmcntal coloring algorithm to avoid the memory consumption problems of the naive approach.


title: Object-Oriented System Modeling with OMT

authors:
Bernd Bruegge
Jim Blythe
Jeffrey C. Jackson
Jeff Shufelt

abstract: We describe our experience with the object-oriented design methodology OMT [19] applied to a project in an undergraduate software engineering course at Carnegie Mellon University.The project involved 30 students previously unfamiliar with objectoriented modeling.They designed and implemented a system of 125 classes (27,000 lines of C++ and C code) in the relatively short time of 15 weeks.We describe the overall structure of the project and the system model, the usefulness of OMT and its impact on communication, and discuss some of the problems encountered during the development of the system.


title: Architectures with Pictures

authors:
Raymond J. A. Buhr
Ronald S. Casselman

abstract: article Architectures with pictures Share on Authors: Raymond J. A. Buhr View Profile , Ronald S. Casselman View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 466–483https://doi.org/10.1145/141937.141973Online:31 October 1992Publication History 14citation395DownloadsMetricsTotal Citations14Total Downloads395Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: OOP in Languages Providing Strong, Static Typing (Panel)

authors:
David Bulman
S. Tucker Taft
Bertrand Meyer
Greg Nelson
Mike Kilian

abstract: No abstract available.


title: The Object-Oriented Implementation of a Document Editor

authors:
Paul R. Calder
Mark A. Linton

abstract: Traditional document editors are large and complex.Using first-class objects to represent individual characters in a document, we have implemented an editor that is much smaller and simpler than editors of comparable power.This editor, named "Dot", uses object sharing to reduce memory usage and an incremental update strategy to minimize screen redraw time.Our measurements show the current Dot implementation uses 10 bytes for each character in a document and 30 bytes for each visible character.On a IO-MIPS workstation, Dot can draw over 10 full pages per second and can keep pace with interactive typing speeds.These measurements and our experience using Dot shows that a fully object-oriented approach to document editing is practical.We used the editor to prepare and publish this paper.


title: Case Study of Object-Oriented Software Development

authors:
Dennis de Champeaux
Al Anderson
Ed Feldhousen

abstract: article Free Access Share on Case study of object-oriented software development Authors: Dennis de Champeaux View Profile , Al Anderson View Profile , Ed Feldhousen View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 377–391https://doi.org/10.1145/141937.141967Online:31 October 1992Publication History 9citation893DownloadsMetricsTotal Citations9Total Downloads893Last 12 Months8Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: The OO Software Development Process (Panel)

authors:
Dennis de Champeaux
Robert Balzer
Dave Bulman
Kathleen Culver-Lozo
Ivar Jacobson
Stephen J. Mellor

abstract: Article Free Access Share on The OO software development process (panel) Authors: Dennis de Champeaux View Profile , Bob Balzer View Profile , Dave Bulman View Profile , Kathleen Culver-Lozo View Profile , Ivar Jacobson View Profile , Stephen J. Mellor View Profile Authors Info & Claims OOPSLA '92: Conference proceedings on Object-oriented programming systems, languages, and applicationsOctober 1992Pages 484–489https://doi.org/10.1145/141936.141974Published:31 October 1992Publication History 0citation383DownloadsMetricsTotal Citations0Total Downloads383Last 12 Months9Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: The Process of Object-Oriented Design

authors:
Dennis de Champeaux
Doug Lea
Penelope Faure

abstract: The object-oriented design process is investigated within the classic software development classification of Analysis, Design, and Implementation.When all development is performed using object oriented methods, OOD is best characterized as a transformational process, mapping declarative descriptions of objects and classes to implementation plans.Subphases of class design, system design, and program design accommodate and rationalize 00 practices including abstraction, prototyping, refinement, bottom-up composition, delegation, interoperablity, clustering objects into processes, resource management design, tuning and optimization.


title: Lightweight Shared Objects in a 64-Bit Operating System

authors:
Jeffrey S. Chase
Henry M. Levy
Edward D. Lazowska
Miche Baker-Harvey

abstract: Object-oriented models are a popular basis for supporting uniform sharing of data and services in operating systems, distributed programming systems, and database systems. We term systems that use objects for these purposes object sharing systems. Operating systems in common use have nonuniform addressing models, making the uniform object naming required by object sharing systems expensive and difficult to implement. We argue that emerging 64-bit architectures make it practical to support uniform naming at the virtual addressing level, eliminating a key implementation problem for object sharing systems. We describe facilities for object-based sharing of persistent data and services in Opal, an operating system we are developing for paged 64-bit architectures. The distinctive feature of Opal is that object This paper will appear in identical form in the proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October 1992. This work w...


title: Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners

authors:
Stephen W. Clyde
David W. Embley
Scott N. Woodfield

abstract: article Free Access Share on Turnable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners Authors: Stephen W. Clyde View Profile , David E. Embley View Profile , Scott N. Woodfield View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 452–465https://doi.org/10.1145/141937.141972Published:31 October 1992Publication History 17citation355DownloadsMetricsTotal Citations17Total Downloads355Last 12 Months10Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: From Events to Objects: The Heresy of Event-Orientation in a World of Objects (Panel)

authors:
Larry L. Constantine
Ivar Jacobson
Meilir Page-Jones
John Palmer
Steven Weiss


title: Interfaces and Specifications for the Smalltalk-80 Collection Classes

abstract: The hierarchy of interfaces implicit in the Smalltalk-collection class library is computed and analyzed.The interface hierarchy is independent of the inheritance hierarchy because methods are frequently deleted by subclasses, and because unrelated classes sometimes implement the same messages.Specifications of the interfaces are developed, revealing subtle relationships among messages and their methods.The specifications help identify several kinds of problems in the library: inherited methods that violate the subclass invariant; methods that have the same name but unrelated behaviors; methods that have the same (or related) behavior but different names.This exercise demonstrates the utility of interfaces and specilications, and suggests improvements to the collection class library structure.


title: The Role of Methods and CASE in OO Development (Panel)

authors:
Rick DeNatale
Grady Booch
Peter Coad
Dave A. Thomas
John Tibbets


title: Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation

authors:
Christophe Dony
Jacques Malenfant
Pierre Cointe

abstract: Prototype-based languages are currently proposed as a substitute to class-based languages for a higher flexibility in manipulating objects.These languages are all based on a similar set of basic principles: object-centered representation, dynamic addition (deletion) of slots, cloning and message delegation.But they all differ in the precise interpretation of these principles and nobody has yet considered the semantic issues raised by their combination.In this paper, we propose a new taxonomy of prototypebased languages, enhancing the Treaty of Orlando by now discussing issues associated with the different semantics of the identified prototype-based languages.From this taxonomy, we extract a constructive proposal for the design of a new prototype-based language.This proposal is the chief result of this paper; it suggests one set of primitives which is regarded as the best to provide a clean, useful and coherent prototype-based computational model.We finally describe an implementation of most interesting language alternatives in the form of a Smalltalk-platform.This platform establishes an operational semantics for the basic primitives andmore interesting -validates our previous taxonomy by implementing it as a class hierarchy.Obviously, this platform has been used to relate in the same formalism the semantics of different languages with each others.For instance, the programming models of existing languages, such as Self, ObjectLisp and Actra's examplars, are faithfully derived as subclasses in this hierarchy.


title: Monotonic Conflict Resolution Mechanisms for Inheritance

authors:
Roland Ducournau
Michel Habib
Marianne Huchard
Marie-Laure Mugnier

abstract: The main topic of this paper is multiple inheritance and conflict resolution methods in Object Oriented Programming. Our aim is to develop sound mechanisms easily understandable to any user. For this purpose, coherent behaviors of conflict resolution methods for multiple inheritance (such as supporting incrementality-monotonicity and stability under link subdivision) are introduced. We present interesting examples in which multiple inheritance known linearization algorithms (such as in CLOS [2] and LOOPS [19]) behave badly. Then we carefully study the conditions (on the inheritance graph) which assure good linearizations. We end with some suggestions for an incremental inheritance algorithm.


title: ET++ Swaps Manager: Using Object Technology in the Financial Engineering Domain

authors:
Thomas Eggenschwiler
Erich Gamma

abstract: article ET++SwapsManager: using object technology in the financial engineering domain Share on Authors: Thomas Eggenschwiler View Profile , Erich Gamma View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 166–177https://doi.org/10.1145/141937.141951Online:31 October 1992Publication History 14citation402DownloadsMetricsTotal Citations14Total Downloads402Last 12 Months3Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: Distributed Shared Memory with Versioned Objects

authors:
Michael J. Feeley
Henry M. Levy

abstract: Distributed Object Memory (DOM) is an abstraction that represents a distributed-memory system as a single shared container of language-level objects. The goal of DOM is to simplify programming of parallel applications for such systems. All accesses to shared memory are made relative to objects that reside in one or more node-local memories. For example, in Amber, a DOM system for a network of workstations, remote references are transparent at the language level and are implemented using either remote procedure call or object replication and migration. While DOM can greatly simplify distribution for many application classes, it is not well suited for all domains (parallel-scientific codes, in particular). To address the shortcomings of DOM for such domains, we introduce Versioned DOM (VDOM). In VDOM a version number is associated with each object. Multiple versions of objects can coexist and may be cached in local memories as needed to in- This work was supported in part by the Nationa...


title: Constraint Patterns As a Basis for Object-Oriented Programming

abstract: This paper describes a general abstraction mechanism called a constraint pattern, with which an object oriented language can be built.In such a language, constraint patterns play the roles of code and data abstractions, and subsume classes, instance variables, methods and control structures.Constraint patterns, a conceptual blend and extension of BETA's patterns and Bertrand's augmented term rewriting rules, use equation solving for constraint satisfaction, method generation, and compilation.Basing a language on this abstraction makes simple equational constraints available as a fundamental language feature, integrated with the semantics.


title: A Comparative Performance Evaluation of Write Barrier Implementations

authors:
Antony L. Hosking
J. Eliot B. Moss
Darko Stefanovic

abstract: article Free Access Share on A comparative performance evaluation of write barrier implementation Authors: Antony L. Hosking View Profile , J. Eliot B. Moss View Profile , Darko Stefanovic View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 92–109https://doi.org/10.1145/141937.141946Online:31 October 1992Publication History 66citation607DownloadsMetricsTotal Citations66Total Downloads607Last 12 Months12Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Communication Mechanism on Autonomous Objects

abstract: In the concurrent object-oriented programming methodology, a system is described by concurrent objects which communicate with each others by various communication facilities, i.e., synchronous/asynchronous(future) message passing.Those facilities help up to implement application programs based on the client/server model.It is, however, difficult to describe application programs such that concurrent objects may simultaneously initiate communication with each other.Such objects are called autonomous objects.In this paper, we propose the notion of the visible and intensive sets, and a communication mechanism using those sets which enables us to handle communication among autonomous objects safely and easily.


title: Documenting Frameworks using Patterns

abstract: The documentation for a framework must meet several requirements.These requirements can all be met by structuring the documentation as a set of patterns, sometimes called a "pattern language".Patterns can describe the purpose of a framework, can let application programmers use a fmework without having to understand in detail how it works, and can teach many of the design details embodied in the frame work.This paper shows how to use patterns to document a framework, and includes a set ofpatterns forHotDmw as an example.Christopher Alexander, an architect, developed the idea of a "pattern language" to enable people to design their own homes and communities [Alexander et.al.].A pattern language is a set of patterns, each of which describes how to solve a particular kind of problem.His pattern language starts at a very large scale, explaining how the world should be broken into nations and nations into smaller regions, and goes on to explain how to arrange roads, parking, shopping, places to work, homes, and places of worship.The patterns focus on finer and finer levels of detail, passing though a discussion of how to arrange rooms in a house, and finally describing the type of material to use for walls, how to decorate rooms, and how to provide lighting.Alexander's pattern language is supposed to be a document that non-architects can use to design their own communities and homes.No specialized training is needed to use it.It focuses on common design problems that non-architects will encounter, like how to build bedrooms and row houses, rather than uncommon ones, like how to build concert halls and cathedrals.


title: Issues in the Design and Documentation of Class Libraries

authors:
Gregor Kiczales
John Lamping

abstract: The design and specification of an extensible class library presents a difficult challenge:because extensibility comes from allowing the user to override parts of the implementation, more of the internal structure must be exposed to the user than in a typical procedure library.This raises issues in both how the library is designed and how its specification is written.Specification of the CLOS Metaobject Protocol required a combination of new and existing techniques to address these issues.We present those techniques, and discuss their relation to the underlying issues."This CLOS-like syntax indicates that draw is a one argument generic function; that the argument is called button; and that this method is specialized to the class text-button.


title: What Contributes to Successful Object-Oriented Learning?

authors:
Chamond Liu
Stephen Goetze
Bill Glynn

abstract: There are many conjectures about what sort of person most readily lcams object-oriented tcchnology.While often provocative, none have been confirmed by reliable studies.We describe the first serious attempt to look for factors influencing successful object-oriented learning, by studying scvcral hundred students in introductory objcctoticntcd programming courses.Contrary to what some have asscrtcd, WC lind that scvcral mcasurcs of depth and breadth of programming background arc associated with success.


title: Concurrency Annotations

abstract: Widespread acceptance of concurrent objectoriented programming in the field can only be expected if smooth integration with sequential programming is achieved.This means that a common language base has to be used, where the concurrent syntax differs as little as possible from the sequential one but is associated with a "natural" concurrent semantics that makes library support for concurrency superfluous.In addition, not only should sequential classes be reusable in a concurrent context, but concurrent classes should also be reusable in a sequential context.It is suggested that cmcurrcmy nnnofutions be inserted into otherwise sequential code.They are ignored by a sequential compiler, but a compiler for the extended concurrent language will recognize them and generate the appropriate concurrent code, The concurrent version of the language supports active and concurrent objects and favours a declarative approach to synchronization and locking which solves typical concurrency problems in an easier and more readable way than previous approaches.Concurrency annotations are introduced using E@ieZ as the sequential base.


title: Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently

authors:
Hidehiko Masuhara
Satoshi Matsuoka
Takuo Watanabe
Akinori Yonezawa

abstract: Computational reflection is beneficial in concurrent computing in offering a linguistic mechanism for incorporating user-specific policies. New challenges are (1) how to implement them, and (2) how to do so efficiently. We present efficient implementation schemes for object-oriented concurrent reflective languages using our language ABCL/R2 as an example. The schemes include: efficient lazy creation of metaobjects/meta-groups, partial compilation of scripts (methods), dynamic progression, self-reification, and light-weight objects, all appropriately integrated so that the user-level semantics remain consistent with the meta-circular definition so that the full power of reflection is retained, while achieving practical efficiency. ABCL/R2 exhibits two orders of magnitude speed improvement over its predecessor, ABCL/R, and in fact compares favorably to the ABCL/1 compiler and also C + Sun LWP, neither supporting reflection. 3 To be presented at ACM OOPSLA'92, Vancouver, Canada, Oct. 199...


title: Reuse: Truth or Fiction (Panel)

authors:
Paul McCullough
Robert G. Atkinson
Adele Goldberg
Martin L. Griss
John Morrision

abstract: article Free Access Share on Reuse (panel): truth or fiction Authors: Paul McCollough View Profile , Bob Atkinson View Profile , Adele Goldberg View Profile , Martin Griss View Profile , John Morrison View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 41–44https://doi.org/10.1145/141937.141941Published:31 October 1992Publication History 2citation231DownloadsMetricsTotal Citations2Total Downloads231Last 12 Months9Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods

authors:
Brad A. Myers
Dario A. Giuse
Brad T. Vander Zanden

abstract: article Free Access Share on Declarative programming in a prototype-instance system: object-oriented programming without writing methods Authors: Brad A. Myers View Profile , Dario A. Giuse View Profile , Brad Vander Zanden View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 184–200https://doi.org/10.1145/141937.141953Online:31 October 1992Publication History 37citation558DownloadsMetricsTotal Citations37Total Downloads558Last 12 Months14Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Combination of Inheritance Hierarchies

authors:
Harold Ossher
William H. Harrison

abstract: Making extensionsto existing systems is a critically important activity in object-oriented pro-existing application.We are in full agreement with Lieberman [7] that one wants a small extension to behavior to require just a small extension to code, and that adding new code is good, whereas modifying existing code is bad.We call this approach "extension-by-addition" [16].gramming.This paper proposes an approach in which extensions of all kinds are clearly separated from the base hierarchy upon which they are built, for ease of distribution and combination.Extensions, including extensions to existing classes, are written in separate, sparse extension hierarchies.The entire system is obtained by combining the extension hierarchies with the base hierarchy.Sequences of successive extensions can be combined using an extension operator, and parallel extensions can be combined using a merge operator, which might identify conflicts that must be reconciled.System building takes place at two levels: combining existing extensions from a library using these operators, and building new extensions when existing ones are not adequate.New extensions built in this way are added to the library, and so should be written to be as general and reusable as possible.


title: CACL: Efficient Fine-Grained Protection for Objects

authors:
Joel E. Richardson
Peter M. Schwarz
Luis-Felipe Cabrera

abstract: CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation.The model, based on Access Control Lists (ACLs) integrated with the type system, allows owners to control who may invoke which methods on which objects, permits cooperation between mutually suspicious principals, allows ownership of objects to be transferred safely, prevents unwanted propagation of authority between principals, and allows changes to the authorization information to take effect on the next method invocation.The implementation, based on the integration of Capabilities with method dispatch, avoids the overhead of access checking in the majority of invocations, at the cost of space for extra dispatch vectors.CACL offers a viable mechanism for finegrained protection in an object-oriented database system.


title: A Formalism for Real-Time Concurrent Object-Oriented Computing

authors:
Ichiro Satoh
Mario Tokoro

abstract: We investigate a formal model for reasoning about real-time object-oriented computations.The model is an extension of CCS with the notion of time, called RtCCS(Real-time Calculus of Communication Systems).It can naturally model real-time concurrent objects as communicating processes and represent the timed properties of objects.We define two timed equivalences based on CCS's bisimulation and derive algebraic laws for reasoning about real-time processes.The equivalences provide a formal framework for analyzing the behavior and timing of real-time computations.Also, we define a sound and complete equational proof system for finite processes.Some examples in RtCCS are shown in order to demonstrate its usefulness.


title: Ensuring Semantic Integrity of Reusable Objects (Panel)

authors:
Webb Stacy
Richard Helm
Gail E. Kaiser
Bertrand Meyer

abstract: article Free Access Share on Ensuring semantic integrity of reusable objects (panel) Authors: Webb Stacy View Profile , Richard Helm View Profile , Gail E. Kaiser View Profile , Bertrand Meyer View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 298–302https://doi.org/10.1145/141937.141961Online:31 October 1992Publication History 4citation292DownloadsMetricsTotal Citations4Total Downloads292Last 12 Months2Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems

authors:
Kazunori Takashio
Mario Tokoro


title: Preliminary Defect Data from the Iterative Development of a Large C++ Program

abstract: article Free Access Share on Preliminary defect data from the iterative development of a large C++ program (experience report) Author: James F. Walsh View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 178–183https://doi.org/10.1145/141937.141952Online:31 October 1992Publication History 4citation412DownloadsMetricsTotal Citations4Total Downloads412Last 12 Months18Last 6 weeks5 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Visualizing Objects: Methods for Exploring Human Computer Interaction Concepts

authors:
Michael F. Wangler
Peeter Hansen


title: Object-Oriented Megaprogramming (Panel)

authors:
Peter Wegner
William L. Scherlis
James M. Purtilo
David C. Luckham
Ralph E. Johnson

abstract: article Free Access Share on Object-oriented megaprogramming (panel) Authors: Peter Wegner View Profile , William Scherlis View Profile , James Purtilo View Profile , David Luckham View Profile , Ralph Johnson View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 392–396https://doi.org/10.1145/141937.141968Published:31 October 1992Publication History 1citation258DownloadsMetricsTotal Citations1Total Downloads258Last 12 Months9Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Experimental Classification Facilities for Smalltalk

abstract: There have been a number of attempts to blend objectoriented programming languages with techniques commonly employed for knowledge representation in artificial intelligence.In the main, such exercises have entailed the incorporation of rule-based programming ideas into object-oriented languages, or the imposition of object-oriented constructs on logical programming notations.In this report, we describe a system with a slightly different approach to the problem, which augments an object-oriented language with term classification capabilities like those found in KL-One and its successors.We hope to establish that this approach results in a more natural and efficacious integration of conventional object-oriented programming and knowledge representation than has been attained up to now.1.This research was conducted under B.T. Corporate funding.


title: The Apertos Reflective Operating System: The Concept and its Implementation

abstract: This paper proposes a framework for constructing an operating system in an open and mobile computing environment.The framework provides object/metaobject separation and metahierarchy.In the framework, we view object migration as a basic mechanism to accommodate object heterogeneity.The relevance of the proposed framework to existing system structures is discussed.We then present a practical implementation of the Apertos operating system in this framework, where reflectors are introduced for metaobject programming and MetaCore for providing common primitives.We present some evaluation results of the Apertos operating system.We also present related work in terms of reflection mechanisms and systems.


title: Software Architecture: The Next Step for Object Technology (Panel)

authors:
Bruce Anderson
Mary Shaw
Larry Best
Kent L. Beck

abstract: Architectures are the structuring paradigms, styles and patterns that make up our software systems.They are important in many ways: they allow us to talk usefully about systems without talking about their detail; a knowledge of them gives us design choices; attention to this level can make systems and families of systems have the non-functional properties we want, especially changeability.Each panelist will address the following issues: l What is architecture?l What is the value you have had so far from this concept?l What is the next step for you?l What is the next step for the community?


title: Object Distribution in Orca using Compile-Time and Run-Time Techniques

authors:
Henri E. Bal
M. Frans Kaashoek

abstract: Orca is a language for parallel programming on distributed systems. Communication in Orca is based on shared data-objects, which is a form of distributed shared memory. The performance of Orca programs depends strongly on how shared dataobjects are distributed among the local physical memories of the processors. This paper studies a new and efficient solution to this problem, based on an integration of compile-time and run-time techniques. The Orca compiler has been extended to determine the access patterns of processes to shared objects. The compiler passes a summary of this information to the run-time system, which uses it to make good decisions about which objects to replicate and where to store nonreplicated objects. Measurements show that the new system gives better overall performance than any previous implementation of Orca. 3333333333333333 1 This research was supported in part by a PIONIER grant from the Netherlands Organization for Scientific Research (N.W.O.). 2 This re...


title: Experiences Developing and Using an Object-Oriented Library for Program Manipulation

authors:
Tim Bingham
Nancy Hobbs
Dave Husson


title: Strongtalk: Typechecking Smalltalk in a Production Environment

authors:
Gilad Bracha
David Griswold

abstract: article Free Access Share on Strongtalk: typechecking Smalltalk in a production environment Authors: Gilad Bracha View Profile , David Griswold View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 215–230https://doi.org/10.1145/167962.165893Online:01 October 1993Publication History 167citation673DownloadsMetricsTotal Citations167Total Downloads673Last 12 Months25Last 6 weeks13 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Safe and Decidable Type Checking in an Object-Oriented Language

authors:
Kim B. Bruce
Jonathan Crabtree
Thomas P. Murtagh
Robert van Gent
Allyn Dimock
Robert Muller

abstract: Over the last several years, much interesting work has been done in modelling object-oriented programming languages in terms of extensions of the bounded second-order lambda calculus, F . Unfortunately, it has recently been shown by Pierce ([Pie92]) that type checking F is undecidable. Moreover, he showed that the undecidability arises in the seemingly simpler problem of determining whether one type is a subtype of another. In [Bru93a, Bru93b], the first author introduced a statically-typed, functional, object-oriented programming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. The semantics of TOOPL is based on F , so the question arises whether type checking in this language is decidable. In this paper we show that type checking for TOOPLE, a minor variant of TOOPL (Typed Object-Oriented Programming Language), is decidable. The proof proceeds by showing that subtyping is decidable, that all terms of TOOPLE have minimum types...


title: A Framework for Dynamic Program Analyzers

authors:
Bernd Bruegge
Tim Gottschalk
Bin Luo

abstract: BEE++ is an object-oriented application framework for the dynamic analysis of distributed programs.The main objective of BEE++ is to provide a common platform for monitoring and debugging.BEE++'s class library consists of a rich set of classes for event processing to support a variety of visualization, monitoring and debugging needs.It also provides for customizability of event processing through inheritance.Users can derive customized graphical debugging and visualization systems from a set of base classes.BEE++'s other design goals are the support of dynamic program analysis for distributed heterogenous target applications at runtime with predictable overhead.The design is based a symmetric peer-peer architecture, including the ability to dynamically configure target appli,.cations and monitoring tools.The dynamic analysis tools can be distributed across nodes, which provides significant performance gains for visualization applications.In addition, the framework can be instantiated for a variety of communication protoco1s.A TCP/IP based instance of the framework has been ported to several machine architectures including Sun, Vax and Cray-YMP.BEE++ is based on BEEI 101, a portable platform for monitoring implemented in C but has been completely reengineered in C++ using the object-oriented design methodology OMT.Performance measurements indicate that the runtime overhead of the object-oriented version is not signilicant when compared with the C version.


title: The Amadeus GRT - Generic Runtime Support for Distributed Persistent Programming

authors:
Vinny Cahill
Seán Baker
Chris Horn
Gradimir Starovic

abstract: Many object-oriented programming language implementations have been estcndcd to support persistence, dist,ribut,ion or atomicity by integrating the necessary a,dditional support, with t,he language's runt,ime library.We argue tha.t a better approach is to provide a. Generic Runtime library (the GRT) which imple-ments that part of the support which is independent.of any langua.ge.The GRT should be designed to interfa.ce to a langua.ge'sexisting runtime in such a way that the language's local object reference format and invocation mechanism can be retained.Hence exist.ingcompilers do not necessarily have to be modified, and a range of different object,-oriented languages can be supporkd simultaneously.This a.pproach 1la.s significant merits including: the ease with which a la.nguage ca.n be extended; the sophistication of the underlying support immediately available to a. la.nguage implementer; a.nd the ability to support fine-grain& language interworking.


title: Efficient Handling of Multiple Inheritance Hierarchies

abstract: A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the programmer, allowing the transparent manipulation of all data regardless of its potential lifetime. We term such a mechanism object faulting, in a deliberate analogy with page faulting in virtual memory systems. This paper presents a number of mechanisms for detecting and handling references to persistent objects, and evaluates their relative performance within an implementation of Persistent Smalltalk.


title: Strategies for Object-Oriented Technology Transfer (Panel)

authors:
Dennis de Champeaux
Andrew J. Baer
Brian Bernsen
Alan R. Korncoff
Timothy D. Korson
Daniel S. Tkach

abstract: article Free Access Share on Strategies for object-oriented technology transfer (panel) Authors: Dennis de Champeaux View Profile , Andrew J. Baer View Profile , Brian Bernsen View Profile , Alan R. Korncoff View Profile , Tim Korson View Profile , Daniel S. Tkach View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 437–447https://doi.org/10.1145/167962.165936Online:01 October 1993Publication History 0citation354DownloadsMetricsTotal Citations0Total Downloads354Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Roles for Composite Objects in Object-Oriented Analysis and Design

abstract: A method is presented for using composite objects which separates their role and meaning as models of relations between problem-domain concepts from their role and meaning as models of hierarchical sof'twarc structures.The meaning of composite objects is analysed in terms of connections bctwccn real-world concepts in object-oriented analysis and bctwccn software objects in object-oriented design.By capturing the designer's rationale for model transformation, the resulting models arc casicr to understand and maintain.An embedded systems example illustrates the approach.


title: Doing Business with Governments (Panel)

authors:
Angela Jo Coppola
William Ruh


title: Selector Table Indexing & Sparse Arrays

abstract: article Free Access Share on Selector table indexing & sparse arrays Author: Karel Driesen View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 259–270https://doi.org/10.1145/167962.165902Published:01 October 1993Publication History 42citation378DownloadsMetricsTotal Citations42Total Downloads378Last 12 Months22Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices

authors:
Robert Godin
Hafedh Mili

abstract: Existing 00 development methodologies (see e.g.[Rumbaugh9 1 a, Wirfs-Brock90a, Coad9 la]) prescribe that design builds on the basic class structure identified at the analysis level--one aspect of the much vaunted seamless transition--by adding high level (control) and low level (utility)


title: Subject-Oriented Programming (A Critique of Pure Objects)

authors:
William H. Harrison
Harold Ossher

abstract: Object-Oriented technology is often described in terms of an interwoven troika of themes: encapsulation, polymorphism, and inheritance.But these themes are firmly tied with the concept of identity.If object-oriented technology is to be successfully scaled from the development of independent applications to development of integrated suites of applica-tions, it must relax its emphasis on the objecf.The technology must recognize more directly that a multiplicity of subjective views delocalizes the concept of object, and must emphasize more the binding concept of identity to tie them together.This paper explores this shift to a style of objectoriented technology that emphasizes the subjective views: Subject-Oriented Programming.

awards: Most Influential OOPSLA Paper (1986-1996 retrospective)


title: Inheritance Modeled with Explicit Bindings: An Approach to Typed Inheritance


title: Object Fault Handling for Persistent Programming Languages: A Performance Evaluation

authors:
Antony L. Hosking
J. Eliot B. Moss

abstract: A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects.Ideally, this mechanism should be hidden from the programmer, allowing the transparent manipulation of all data regardless of its potential lifetime.We term such a mechanism object faulting, in a deliberate analogy with page faulting in virtual memory systems.This paper presents a number of mechanisms for detecting and handling references to persistent objects, and evaluates their relative performance within an implementation of Persistent Smalltalk.


title: On the Purpose of Object-Oriented Analysis

authors:
Geir Magne Høydalsvik
Guttorm Sindre

abstract: The paper discusses the general purpose of analysis and evaluates OOA with respect to this, arguing that OOA does not deliver what it claims to do. The two major problems are that OOA often does not meet the full needs of the analysis phase, and that the transition to design is not always as easy as promised. The last point is illustrated by a solution to the OOPSLA conference registration problem. Due to the mentioned shortcomings, OOA/OOD was not found sufficient for forming the basis of a common development methodology for three Norwegian software producers in a technology transfer project with our university. The suggestion made is that OOA should become problem-oriented rather than target-oriented


title: How to Get a Paper Accepted at OOPSLA (Panel)

authors:
Ralph E. Johnson
Kent L. Beck
Grady Booch
William R. Cook
Richard P. Gabriel
Rebecca Wirfs-Brock

abstract: Article How to get a paper accepted at OOPSLA (panel) Share on Authors: Ralph E. Johnson View Profile , Kent Beck View Profile , Grady Booch View Profile , William Cook View Profile , Richard Gabriel View Profile , Rebecca Wirfs-Brock View Profile Authors Info & Claims OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applicationsOctober 1993 Pages 429–436https://doi.org/10.1145/165854.165934Online:01 October 1993Publication History 5citation1,315DownloadsMetricsTotal Citations5Total Downloads1,315Last 12 Months35Last 6 weeks8 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: CHARM++: A Portable Concurrent Object Oriented System Based On C++

authors:
Laxmikant V. Kalé
Sanjeev Krishnan

abstract: Article Free Access Share on CHARM++: a portable concurrent object oriented system based on C++ Authors: Laxmikant V. Kale View Profile , Sanjeev Krishnan View Profile Authors Info & Claims OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applicationsOctober 1993 Pages 91–108https://doi.org/10.1145/165854.165874Published:01 October 1993Publication History 516citation1,794DownloadsMetricsTotal Citations516Total Downloads1,794Last 12 Months208Last 6 weeks21 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Reconciling Objects and Multilevel Security (Panel)

abstract: No abstract available.


title: GROOP: An Object-Oriented Toolkit for Animated 3D Graphics

authors:
Larry Koved
Wayne L. Wooten

abstract: Center 10.


title: Tools for the Development of Application-Specific Virtual Memory Management

authors:
Keith Krueger
David Loftesness
Amin Vahdat
Thomas E. Anderson

abstract: The operating system's virtual memory management policy is increasingly important to application performance because gains in processing speed are far outstripping improvements in disk latency. Indeed, large applications can gain large performance benefits from using a virtual memory policy tuned to their specific memory access patterns rather than a general policy provided by the operating system. As a result, a number of schemes have been proposed to allow for application-specific extensions to virtual memory management. These schemes have the potential to improve performance; however, to realize this performance gain, application developers must implement their own virtual memory module, a non-trivial programming task. Current operating systems and programming tools are inadequate for developing application-specific policies. Our work combines (i) an extensible user-level virtual memory system based on a metaobject protocol with (ii) an innovative graphical performance monitor to make the task of implementing a new application-specific page replacement policy considerably simpler. The techniques presented for opening up operating system virtual memory policy to user control are general; they could be used to build application-specific implementations of other operating system policies


title: Typing the Specialization Interface

abstract: all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.


title: Specifications and Their Use in Defining Subtypes

authors:
Barbara Liskov
Jeannette M. Wing

abstract: Specifications are useful because they allow reasoning about objects without concern for their implementations.Type hierarchies are useful because they allow types that share common properties to be designed as a family.This paper is concerned with the interaction between specifications and type hierarchies.We present a way of specifying types, and show how some extra information, in addition to specifications of the objects' methods, is needed to support reasoning.We also provide a new way of showing that one type is a subtype of another.Our technique makes use of information in the types' specifications and works even in a very general computational environment in which possibly concurrent users share mutable objects.


title: Evolving Toward Object-Oriented Technolgy in Large Organizations (Panel)

authors:
Steven D. Litvintchouk
Michael Stark
Brad Balfour
Mohamed Fayad
Bernie Rosenfeld


title: Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages

authors:
Satoshi Matsuoka
Kenjiro Taura
Akinori Yonezawa

abstract: Re-use of synchronization code in concurrent OOlanguages has been considered difficult due to inheritance anomaly, which we minimize with our new proposal. Designed with high practicality in mind, we propose language primitives (plus their implementation) with the following characteristics: (1) it allows multiple synchronization schemes---the language schemes for programming synchronization---to coexist and be integrated, (2) re-use of synchronization code is done similarly to sequential OO-languages for user familiarity, (3) it offers high degree of encapsulation---even synchronization schemes could be encapsulated in superclasses in many cases, and (4) it can be efficiently implemented on conventional MPPs. We demonstrate the effectiveness of our proposal with solutions to the example inheritance anomaly cases from [16]. We also give an overview of the implementation architecture, along with preliminary benchmarks. The proposed language primitives are being incorporated into our AB...


title: Panel - Which Method is Best?

authors:
Rich Mendez
Rebecca Wirfs-Brock
James E. Rumbaugh
Stephen J. Mellor
Ivar Jacobson
Grady Booch


title: Structural Active Object Systems for Simulation

authors:
Toshimi Minoura
Shirish S. Pargaonkar
Kurt Rehfuss

abstract: article Free Access Share on Structural active object systems for simulation Authors: Toshimi Minoura View Profile , Shirish S. Pargaonkar View Profile , Kurt Rehfuss View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 338–355https://doi.org/10.1145/167962.165921Published:01 October 1993Publication History 12citation301DownloadsMetricsTotal Citations12Total Downloads301Last 12 Months12Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Regular Types for Active Objects

abstract: Previous work on type-theoretic foundations for object-oriented programming languages has mostly focused on applying or extending functional type theory to functional "objects." This approach, while benefiting from a vast body of existing literature, has the disadvantage of dealing with state change either in a roundabout way or not at all, and completely sidestepping issues of concurrency. In particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types. We propose a new type framework that characterizes objects as regular (finite state) processes that provide guarantees of service along public channels. We also propose a new notion of subtyping for active objects, based on Brinksma's notion of extension, that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability. Finally, we formalize what it means to "satisfy a client's expectations," and we show how regular types can be used to tell when sequential or concurrent clients are satisfied.


title: Panel: Distributed Processing


title: Object-Oriented Execution of OPS5 Production Systems

authors:
Mohammed Hosni Odeh
Julian A. Padget

abstract: article Object-oriented execution of OPS5 production systems Share on Authors: Mohammed H. Odeh View Profile , Julian A. Padget View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 178–190https://doi.org/10.1145/167962.165886Online:01 October 1993Publication History 3citation301DownloadsMetricsTotal Citations3Total Downloads301Last 12 Months4Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: Visualizing the Behavior of Object-Oriented Systems

authors:
Wim De Pauw
Richard Helm
Doug Kimelman
John M. Vlissides

abstract: Numerous classes, complex inheritance and containment hierarchies, and diverse patterns of dynamic interaction all contribute to difficulties in understanding, reusing, debugging, and tuning large object-oriented systems. To help overcome these difficulties, we introduce novel views of the behavior of object-oriented systems and an architecture for creating and animating these views. We describe platform-independent techniques for instrumenting object-oriented programs, a language-independent protocol for monitoring their execution, and a structure for decoupling the execution of a subject program from its visualization. Case studies involving tuning and debugging of real systems are presented to demonstrate the benefits of visualization. We believe that visualization will prove to be a valuable tool for object-oriented software development.


title: Security for OODBMS (Or Systems) - Panel

abstract: No abstract available.


title: Developing Software for Large-Scal Reuse (Panel)

authors:
Ed Seidewitz
Brad Balfour
Sam S. Adams
David M. Wade
Brad Cox

abstract: BackgroundSoftware reuse is a simple idea: reduce the cost of software development by developing less new software.In practice, however, achieving software reuse on a large scale has been frustratingly difficult.Nevertheless, as the complexity and cost of software systems continues to rise, there has been growing interest in really trying to make large-scale reuse a reality.Interest in reuse has been particularly.strong in both the Ada and objectoriented programming communities.This panel brings together key experts from these communities to discuss the issues, problems and potentials of reuse.This discussion is continued from the first meeting of this panel at the Tenth Washington Ada Symposium last June.Brad Balfour and David Wade represent two major projects using the Ada programming language.Brad Balfour is involved in the DOD Corporate Information Management effort, which, as part of the DOD Reuse Initiative, is attempting to realize widespread consolidation of DOD MIS software.David Wade works on the FAA Advanced Automation System project, a very large, complex project which provides a rich domain for reuse.


title: Object Oriented Approach to MLS Database Application Design (Panel)

abstract: No abstract available.


title: Panel - Is Multiple Inheritance Essential to OOP?

authors:
Yen-Ping Shan
Thomas A. Cargill
Brad Cox
William R. Cook
Mary E. S. Loomis
Alan Snyder

abstract: article Free Access Share on Is multiple inheritance essential to OOP? (panel) Authors: Yen-Ping Shan View Profile , Tom Cargill View Profile , Brad Cox View Profile , William Cook View Profile , Mary Loomis View Profile , Alan Snyder View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 360–363https://doi.org/10.1145/167962.165923Published:01 October 1993Publication History 3citation781DownloadsMetricsTotal Citations3Total Downloads781Last 12 Months30Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Impacts of Object-Oriented Technologies: Seven Years of SEL Studies

abstract: article Free Access Share on Impacts of object-oriented technologies: seven years of SEL studies Author: Mike Stark View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 365–373https://doi.org/10.1145/167962.165925Published:01 October 1993Publication History 0citation317DownloadsMetricsTotal Citations0Total Downloads317Last 12 Months9Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Status of Object-Oriented COBOL (Panel)

authors:
J. G. Van Stee
Dan Clarke
David Filani
Dmitry Lenkov
Raymond Obin

abstract: No abstract available.


title: IRIS Inventor, A 3D Graphics Toolkit

abstract: IRIS@ InventorTM is an object-oriented toolkit for developers of applications that incorporate interactive, threedimensional graphics.Encapsulation of data and methods in high-level graphical objects allows Inventor to provide a significant improvement in usability to developers, as compared to the standard, low-level set of graphics primitives provided in most other graphics libraries.Inventor's object-oriented framework also facilitates extensions, which are necessary in the diverse and rapidly changing field of 3D graphics.


title: Ada 9X: From Abstraction-Oriented to Object-Oriented

abstract: article Ada 9X: from abstraction-oriented to object-oriented Share on Author: S. Tucker Taft View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 28Issue 10Oct. 1, 1993 pp 127–136https://doi.org/10.1145/167962.165877Online:01 October 1993Publication History 15citation278DownloadsMetricsTotal Citations15Total Downloads278Last 12 Months7Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access


title: A Discussion of "On the Purpose of Object-Oriented Analysis" (Panel)

authors:
Dave A. Thomas
Adele Goldberg
James Coplien
Peter Coad
Geir Magne Høydalsvik

abstract: Article Free Access Share on A discussion of On the Purpose of Object-Oriented Analysis Authors: Dave Thomas Object Technology International Object Technology InternationalView Profile , Adele Goldberg ParcPlace Systems ParcPlace SystemsView Profile , James Coplien Bell Labs Bell LabsView Profile , Peter Coad Apple, Inc. Apple, Inc.View Profile , Geir Magne Høydalsvik Univ. of Trondheim, Trondheim, Norway Univ. of Trondheim, Trondheim, NorwayView Profile Authors Info & Claims OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applicationsOctober 1993Pages 256–258https://doi.org/10.1145/165854.165899Published:01 October 1993Publication History 1citation664DownloadsMetricsTotal Citations1Total Downloads664Last 12 Months15Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Integrating Object-Oriented Technolgy and Security Technology: A Panel Discussion

abstract: No abstract available.


title: Modeling Security Requirements for Applications (Panel)

abstract: No abstract available.


title: Sifting Out the Gold

authors:
Ole Agesen
David M. Ungar

abstract: Integrated, dynamically-typed object-oriented programming environments offer many advantages, but have trouble producing small, self-contained applications. Recent advances in type inference have made it possible to build an application extractor for Self. The extractor was able to extract a medium-sized application in a few minutes. The extracted application runs in a tenth the space of the original environment. Except for extracting reflection and sends with computed selectors, the extractor runs without human intervention and fully preserves the behavior of the application.


title: Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables

authors:
Eric Amiel
Olivier Gruber
Eric Simon

abstract: Optimizing method dispatch is a central issue in object-oriented language implementation. The dispatch table scheme, used for example by C++, is the only implementation of method dispatch that offers constant time performance. This property is the main asset of dispatch tables and a major requirement for some languages. However, the major drawback of dispatch tables is the space they require. Reducing the size of dispatch tables has been studied in the case of mono-methods with techniques such as coloring. In the case of multi-methods, dispatch tables are practically unusable as they grow as a power of the number of arguments. In this paper, we propose an algorithm to compress the dispatch tables of multi-methods by analyzing their signatures.


title: Objects and Databases (Panel)

authors:
Thomas Atwoode
Jnan Dash
Jacob Stein
Michael Stonebraker
Mary E. S. Loomis

abstract: No abstract available.


title: Persistent Storgage for a Workflow Tool Implemented in Smalltalk

authors:
Bob Beck
Steve Hartley

abstract: This paper describes a new workflow model and its implementation in Smalltalk. The paper also details problems with using a RDBMS as the persistent store for the workflow tool and the subsequent experiences in using an ODBMS for this purpose. The final solution was a coexistence approach, using the RDBMS for legacy corporate data and the ODBMS for the process description and workflow status data.


title: Reducing Cross Domain Call Overhead using Batched Futures

authors:
Phillip Bogle
Barbara Liskov

abstract: In many systems such as operating systems and databases it is important to run client code in a separate protection domain so that it cannot interfere with correct operation of the system. Clients communicate with the server by making cross domain calls, but these are expensive, often costing substantially more than running the call itself. This paper describes a new mechanism called batched futures that transparently batches possibly interrelated client calls. Batching makes domain crossings happen less often, thus substantially reducing the cost. We describe how the mechanism is implemented for the Thor object-oriented database system, and presents performance results showing the benefit of the mechanism on various benchmarks.


title: Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems

authors:
Raymond J. A. Buhr
Ronald S. Casselman

abstract: Object-oriented design methods and notations do not adequately address the concerns of real-time-and-distributed (RTD) systems. Issues critical to such systems, like performance, robustness, and concurrency are not seriously considered until detailed design. We propose an object-oriented approach that allows RTD design issues to be considered before detailed design. The approach revolves around timethread-role maps that present composite pictures of concurrent, interacting, end-to-end responsibility paths through a system. It is related to responsibility-driven design approaches, but extended for RTD systems. The paper illustrates by example how timethread-role maps can be used to explore, compare and explain different organizations for achieving the paths. The paper also illustrates how timethread-role maps may be used to represent dynamic structure.


title: A Status Report on the oo7 OODBMS Benchmarking Effort

authors:
Michael J. Carey
David J. DeWitt
Chander Kant
Jeffrey F. Naughton

abstract: The OO7 Benchmark was first published in 1993, and has since found a home in the marketing literature of various object-oriented database management system (OODBMS) vendors. The OO7 Benchmark (as published) was the initial result of an ongoing OODBMS performance evaluation effort at the University of Wisconsin. This paper provides an update on the status of the effort on two fronts: single-user and multi-user. On the single-user front, we review and critique the design of the initial OO7 Benchmark. We discuss some of its faults, the reasons for those faults, and things that might be done to correct them. On the multi-user front, we describe our current work on the development of a multi-user benchmark for OODBMSs. This effort includes changes and extensions to the OO7 database and the design of a family of interesting multi-user workloads.


title: Typechecking and Modules for Multi-Methods

authors:
Craig Chambers
Gary T. Leavens

abstract: Two major obstacles hindering the wider acceptance of multi-methods are concerns over the lack of encapsulation and modularity and the absence of static typechecking in existing multi-method-based languages. This paper addresses both of these problems. We present a polynomial-time static typechecking algorithm that checks the conformance, completeness, and consistency of a group of method implementations with respect to declared message signatures. This algorithm improves on previous algorithms by handling separate type and inheritance hierarchies, abstract classes, and graph-based method lookup semantics. We also present a module system that enables independently-developed code to be fully encapsulated and statically typechecked on a per-module basis. To guarantee that potential conflicts between independently-developed modules have been resolved, a simple well-formedness condition on the modules comprising a program is checked at link-time. The typechecking algorithm and module system are applicable to a range of multi-method-based languages, but the paper uses the Cecil language as a concrete example of how they can be applied.


title: Panel: Training Professionals in Object Technology

authors:
Judy Cohen
Mary Lynn Manns
Susan Lilly
Richard P. Gabriel
Janet Conway
Desmond D'Souza


title: Reflections on Metaclass Rorgramming in SOM

authors:
Scott Danforth
Ira R. Forman

abstract: This paper reports on the evolution of metaclass programming in SOM (the IBM System Object Model). Initially, SOM's use of explicit metaclasses introduced metaclass incompatibilities. This was cured by having SOM dynamically derive an appropriate metaclass by interpreting the “metaclass declaration” as a constraint. In effect, inheritance is given a new dimension, because the constraint is also inherited. The derived metaclass is the least solution to all these constraints. Subsequently, this cure led to the possibility of metaclasses conflicting over the need to assign meaning to a method. The cure for this problem is a framework that facilitates the programming of metaclasses that cooperate on the assignment of meaning to methods.


title: Proposal for a Monotonic Multiple Inheritance Linearization

authors:
Roland Ducournau
Michel Habib
Marianne Huchard
Marie-Laure Mugnier

abstract: Previous studies concerning multiple inheritance convinced us that a better analysis of conflict resolution mechanisms was necessary. In [DHHM92], we stated properties that a sound mechanism has to respect. Among them, a monotonicity principle plays a critical role, ensuring that the inheritance mechanism behaves “naturally” relative to the incremental design of the inheritance hierarchy. We focus here on linearizations and present an intrinsically monotonic linearization, whereas currently used linearizations are not. This paper describes the algorithm in detail, explains the design choices, and compares it to other linearizations, with LOOPS and CLOS taken as references. In particular, this new linearization extends CLOS and LOOPS linearizations, producing the same results when these linearizations are sound.


title: Application of OOP Type Theory: State, Decidability, Integragtion

authors:
Jonathan Eifrig
Scott F. Smith
Valery Trifonov
Amy E. Zwarico

abstract: Important strides toward developing expressive yet semantically sound type systems for object-oriented programming languages have recently been made by Cook, Bruce, Mitchell, and others. This paper focusses on how the theoretical work using F-bounded quantification may be brought more into the realm of actual language implementations while preserving rigorous soundness properties. We simultaneously address three of the more significant problems: adding a notion of global state, proving type-checking is decidable, and integrating the more widely implemented view that subclasses correspond to subtypes with the F-bounded view.


title: Composition of Before/After Metaclasses in SOM

authors:
Ira R. Forman
Scott Danforth
Hari Madduri

abstract: In SOM, the IBM System Object Model, a class is a run-time object that defines the behavior of its instances by creating an instance method table. Because classes are objects, their behavior is defined by other classes (called metaclasses). For example, a “Before/After Metaclass” can be used to define the implementation of classes that, by suitable construction of their instance method tables, arrange for each invocation of a method to be preceded by execution of a “before method” and followed by execution of an “after method”. This paper introduces and solves the problem of composing different Before/After Metaclasses in the context of SOM. An enabling element in the solution is SOM's concept of derived metaclasses, i.e., at run-time a SOM system derives the appropriate metaclass of a class based on the classes of its parents and an optional metaclass constraint.


title: How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel)

authors:
Steven Fraser
Kent L. Beck
Grady Booch
Derek Coleman
James Coplien
Richard Helm
Kenneth S. Rubin

abstract: article Free Access Share on How do teams shape objects?—How do objects shape teams? Authors: Steven Fraser Bell-Northern Research Ltd., Ottawa, Ontario, Canada Bell-Northern Research Ltd., Ottawa, Ontario, CanadaView Profile , Kent Beck FirstClass Software FirstClass SoftwareView Profile , Grady Booch Rational Booch Rational BoochView Profile , Derek Coleman Hewlett-Packard Laboratories, Palo Alto California Hewlett-Packard Laboratories, Palo Alto CaliforniaView Profile , Jim Coplien AT&T Bell Laboratories AT&T Bell LaboratoriesView Profile , Richard Helm DMR Group., 1200 Mcill College Ave., Montreal. QC H3B 4G7 Canada DMR Group., 1200 Mcill College Ave., Montreal. QC H3B 4G7 CanadaView Profile , Kenny Rubin ParcPlace Systems ParcPlace SystemsView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 29Issue 10Oct. 1994 pp 468–473https://doi.org/10.1145/191081.191152Online:01 October 1994Publication History 2citation395DownloadsMetricsTotal Citations2Total Downloads395Last 12 Months5Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF


title: Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach

authors:
Kaj Grønbæk
Jawahar Malhotra

abstract: This paper discusses an approach for developing dynamically tailorable hypermedia systems in an object-oriented environment. The approach is aimed at making applications developed in compiled languages like Beta and C++ tailorable at run-time. The approach is based on use of: 1) a hypermedia application framework (DEVISE Hyper-media), and 2) an embeddable interpreter for the framework language. A specific hypermedia system is instantiated from the framework with the interpreter embedded in the executable. The specific hypermedia system has a number of “open points” which can be filled via the interpreter at run-time. These open points and the interpreter provide sufficient support to allow tailoring at run-time as well as compile-time. Among the types of tailoring supported are: 1) adding new media-types, 2) alternating editors for supported media-types, and 3) removing a supported media-type. The paper describes the framework and illustrates how the interpreter is integrated. It describes steps involved in tailoring a specific hypermedia system with a new drawing media-type, where graphical objects can be endpoints for links. Since the hypermedia framework uses a persistent object-store, a solution for handling persistent interpreted objects is presented. Finally, the approach is compared with other environments supporting tailoring.


title: Persistent Shared Object Support in the Guide System: Evaluation & Related Work

authors:
Daniel Hagimont
Pierre-Yves Chevalier
André Freyssinet
Sacha Krakowiak
Serge Lacourte
Jacques Mossière
Xavier Rousset de Pina

abstract: The purpose of the Guide project is to explore the use of shared objects for communication in a distributed system, especially for applications that require cooperative work. Since 1986, two prototypes have been implemented respectively on top of Unix (Guide-1) and Mach 3.0 (Guide-2). They have been used for the development of distributed cooperative applications, allowing us to validate or reject many design choices in the system.


title: Development of Distributed and Client/Server Object-Oriented Applications: Industry Solutions (Panel)

authors:
Lutz Heuser
John Dilley
Hari Madduri
Steven Rabin
Shawn Woods

abstract: The panel will discuss emerging “industrial” solutions that help programmers to develop distributed and client/server applications based on objects supporting so-called openness and heterogeneity.


title: A Third-Generation SELF Implementation: Reconsiling Responsiveness with Performance

authors:
Urs Hölzle
David M. Ungar

abstract: Programming systems should be both responsive (to support rapid development) and efficient (to complete computations quickly). Pure object-oriented languages are harder to implement efficiently since they need optimization to achieve good performance. Unfortunately, optimization conflicts with interactive responsiveness because it tends to produce long compilation pauses, leading to unresponsive programming environments. Therefore, to achieve good responsiveness, existing exploratory programming environments such as the Smalltalk-80 environment rely on interpretation or non-optimizing dynamic compilation. But such systems pay a price for their interactiveness, since they may execute programs several times slower than an optimizing system.