\My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO can be viewed as a \must-have" feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming languages, OO operating s- tems, OO databases, OO speci cations, OO methodologies, etc. So what does a conference on Object-Oriented Programming really mean? I honestly don’t know. What I do know is that, since its creation in 1987, ECOOP has been attracting a large number of contributions, and ECOOP conferences have ended up with high-quality technical programs, featuring interesting mixtures of theory and practice. Among the 183 initial submissions to ECOOP’99, 20 papers were selected for inclusion in the technical program of the conference. Every paper was reviewed by three to ve referees. The selection of papers was carried out during a t- day program committee meeting at the Swiss Federal Institute of Technology in Lausanne. Papers were judged according to their originality, presentation qu- ity, and relevance to the conference topics.
Author(s): C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)
Series: Lecture Notes in Computer Science 1628
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 538
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Business Information Systems
A Trace Model for Pointers and Objects....Pages 1-18
Synthesizing Objects....Pages 18-42
A Core Calculus of Classes and Mixins....Pages 43-66
Propagating Class and Method Combination....Pages 67-91
A study of the Allocation Behavior of the SPECjvm98 Java Benchmarks....Pages 92-115
Visualizing Reference Patterns for Solving Memory Leaks in Java....Pages 116-134
Dynamic Query-Based Debugging....Pages 135-160
Foundations for Virtual Types....Pages 161-185
Unifying Genericity....Pages 186-204
An Object-Oriented Effects System....Pages 205-229
Providing Persistent Objects in Distributed Systems....Pages 230-257
Inlining of Virtual Methods....Pages 258-277
Modular Statically Typed Multimethods....Pages 279-303
Multi-Method Dispatch Using Multiple Row Displacement....Pages 304-328
Internal Iteration Externalized....Pages 329-350
Type-Safe Delegation for Run-Time Component Adaptation....Pages 351-366
Towards Automatic Specialization of Java Programs....Pages 367-390
Wide Classes....Pages 391-415
An Approach to Classify Semi-Structured Objects....Pages 416-440
Object-Oriented Programming on the Network....Pages 441-448
Providing Fine-Grained Access Control for Java Programs....Pages 449-473
Formal Specification and Prototyping of CORBA Systems....Pages 474-494
A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?....Pages 495-518
Object-Oriented Programming: Regaining the Excitement....Pages 519-528
