skip to main content
10.1145/191080acmconferencesBook PagePublication PagessplashConference Proceedingsconference-collections
OOPSLA '94: Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
ACM1994 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
OOPSLA94: Conference on Object Oriented Portland Oregon USA October 23 - 28, 1994
ISBN:
978-0-89791-688-2
Published:
01 October 1994
Sponsors:
Reflects downloads up to 17 Feb 2025Bibliometrics
Abstract

No abstract available.

Article
Free
Typechecking and modules for multi-methods

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. ...

Article
Free
Application of OOP type theory: state, decidability, integration

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 ...

Article
Free
Type-theoretic foundations for concurrent object-oriented programing

A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “object-oriented programming = λ-calculus + record.” Based on an analogous view “concurrent object-oriented programming = concurrent ...

Article
Free
Virtual images: interactive visualization of distributed object-oriented systems

In spite of growing needs in many areas, there is a lack of powerful graphical interfaces for interacting with large and complex sets of objects. Debugging, management and monitoring tools for object-oriented distributed systems or databases, for ...

Article
Free
Building tailorable hypermedia systems: the embedded-interpreter approach

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 ...

Article
Free
A distributed garbage collector for active objects

This paper presents an algorithm that performs garbage collection in distributed systems of active objects (i.e., objects having their own threads of control). Our proposition extends the basic marking algorithm proposed by Kafura in [1] to a ...

Article
Free
Persistent shared object support in the Guide system: evaluation & related work

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 (...

Article
Free
Genericity versus inheritance reconsidered: self-reference using generics

As shown by the work of Bertrand Meyer, it is possible to simulate genericity using inheritance, but not vice-versa. This is because genericity is a parameterization mechanism with no way to deal with the polymorphic typing introduced using inheritance. ...

Article
Free
Proposal for a monotonic multiple inheritance linearization

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 ...

Article
Free
Interfaces, protocols, and the semi-automatic construction of software adaptors

In this paper we show how to augment object-oriented application interfaces with enhanced specifications that include sequencing constraints called protocols. Protocols make explicit the relationship between messages (methods) supported by the ...

Article
Free
Extensible file system (ELFS): an object-oriented approach to high performance file I/O

Scientific applications often manipulate very large sets of persistent data. Over the past decade, advances in disk storage device performance have consistently been outpaced by advances in the performance of the rest of the computer system. As a result,...

Article
Free
Development of an OO infrastructure for mainframe database applications

Large mainframe installations need and want to exploit the advantages of Object Technology (OT), but without totally abandoning their legacy environments. Implementing Object Orientation in such a COBOL/CICS/DB2 environment is a challenge: there is ...

Article
Free
MI—an object oriented environment for integration of scientific applications

Scientific and engineering software is often produced by integration of existing software components of the size of a whole program. However, on the average, scientific software was not developed for reusability and is quite distant from the user model ...

Article
Free
A third-generation SELF implementation: reconciling responsiveness with performance

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. ...

Article
Free
Optimizing multi-method dispatch using compressed dispatch tables

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 ...

Article
Free
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine

Constraint Imperative Programming (CIP) languages integrate declarative constraints with imperative state and destructive assignment, yielding a powerful new programming paradigm. However, CIP languages are difficult to implement efficiently due to ...

Article
Free
Complex associations: abstractions in object-oriented modeling

Objects model phenomena and a phenomenon is usually a component. Information characterizing a component is encapsulated and accessible only by its methods. The relations between components are modeled explicitly by means of associations or references. A ...

Article
Free
Streamlining the project cycle with object-oriented requirements

We have succeeded in streamlining the product development cycle by incorporating object-oriented technology into the requirements definition phase. We have developed a general format, supporting tools and a methodology for describing requirements in an ...

Article
Free
Timethread-role maps for object-oriented design of real-time-and-distributed systems

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 ...

Article
Free
Development of distributed and client/server object-oriented applications: industry solutions

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.

The goal of the panel is to help answer the question ...

Article
Free
Precise concrete type inference for object-oriented languages

Concrete type information is invaluable for program optimization. The determination of concrete types in object-oriented languages is a flow sensitive global data flow problem. It is made difficult by dynamic dispatch (virtual function invocation) and ...

Article
Free
Reducing cross domain call overhead using batched futures

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,...

Article
Free
Sifting out the gold: delivering compact applications from an exploratory object-oriented programming environment

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 ...

Article
Free
Article
Free
Persistent storage for a workflow tool implemented in Smalltalk

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 ...

Contributors
  • University of Massachusetts Amherst
  • Nokia Bell Labs

Index Terms

  1. Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications

      Recommendations

      Acceptance Rates

      Overall Acceptance Rate 268 of 1,244 submissions, 22%
      YearSubmittedAcceptedRate
      OOPSLA '141865228%
      OOPSLA '131895026%
      OOPSLA '091442517%
      OOPSLA '071563321%
      OOPSLA '031472618%
      OOPSLA '021252520%
      OOPSLA '011452719%
      OOPSLA '991523020%
      Overall1,24426822%