- Sponsor:
- sigplan
No abstract available.
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
Persistent shared object support in the Guide system: evaluation & related work
- Daniel Hagimont,
- P.-Y. Chevalier,
- A. Freyssinet,
- S. Krakowiak,
- S. Lacourte,
- J. Mossière,
- X. Rousset de Pina
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 (...
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. ...
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 ...
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 ...
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,...
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 ...
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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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,...
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 ...
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 ...
Cited By
Index Terms
- Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Recommendations
Acceptance Rates
Year | Submitted | Accepted | Rate |
---|---|---|---|
OOPSLA '14 | 186 | 52 | 28% |
OOPSLA '13 | 189 | 50 | 26% |
OOPSLA '09 | 144 | 25 | 17% |
OOPSLA '07 | 156 | 33 | 21% |
OOPSLA '03 | 147 | 26 | 18% |
OOPSLA '02 | 125 | 25 | 20% |
OOPSLA '01 | 145 | 27 | 19% |
OOPSLA '99 | 152 | 30 | 20% |
Overall | 1,244 | 268 | 22% |