Ebook: ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

This book presents the carefully refereed proceedings of the 9th European Conference on Object-Oriented Programming, ECOOP '95, held in Aarhus, Denmark in August 1995.
Besides the scientific conference documented in this book, ECOOP '95 included a number of tutorials and workshops as well as a two-day technology exhibition and thus reflects the full spectrum of Object-Oriented Programming. The volume presents three invited contributions and 18 full research papers selected from more than 90 submissions. The papers are organized in sections on types, programming languages, reflective programming and verification, implementation, concurrency and specification, and distribution and interfaces.

---

This book presents the carefully refereed proceedings of the 9th European Conference on Object-Oriented Programming, ECOOP '95, held in Aarhus, Denmark in August 1995.
Besides the scientific conference documented in this book, ECOOP '95 included a number of tutorials and workshops as well as a two-day technology exhibition and thus reflects the full spectrum of Object-Oriented Programming. The volume presents three invited contributions and 18 full research papers selected from more than 90 submissions. The papers are organized in sections on types, programming languages, reflective programming and verification, implementation, concurrency and specification, and distribution and interfaces.
Content:
Front Matter....Pages I-XI
Experiences on The Road to Object Utopia....Pages 1-1
The Cartesian Product Algorithm....Pages 2-26
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language....Pages 27-51
Object Imaging....Pages 52-76
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis....Pages 77-101
Objects with Multiple Most Specific Classes....Pages 102-126
A Marriage of Class- and Object-Based Inheritance Without Unwanted Children....Pages 127-144
On Subtyping and Matching....Pages 145-167
Using Metaobject Protocols to Implement Atomic Data Types....Pages 168-189
Meta-level Programming with CodA....Pages 190-214
An Object-Oriented Framework for the Formal Verification of Processors....Pages 215-234
Incremental Mature Garbage Collection Using the Train Algorithm....Pages 235-252
Message Dispatch on Pipelined Processors....Pages 253-282
Do Object-Oriented Languages Need Special Hardware Support?....Pages 283-302
Programming as an Experience: The Inspiration for Self....Pages 303-330
Time and Asynchrony in Interactions among Distributed Real-Time Objects....Pages 331-350
Object Protocols as Functional Parsers....Pages 351-373
Interface-Based Protocol Specification of Open Systems using PSL....Pages 374-398
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms....Pages 399-423
Sharing Properties in a Uniform Object Space....Pages 424-448
Back Matter....Pages 471-471
ChyPro: A Hypermedia Programming Environment for Smalltalk-80....Pages 449-470

---

This book presents the carefully refereed proceedings of the 9th European Conference on Object-Oriented Programming, ECOOP '95, held in Aarhus, Denmark in August 1995.
Besides the scientific conference documented in this book, ECOOP '95 included a number of tutorials and workshops as well as a two-day technology exhibition and thus reflects the full spectrum of Object-Oriented Programming. The volume presents three invited contributions and 18 full research papers selected from more than 90 submissions. The papers are organized in sections on types, programming languages, reflective programming and verification, implementation, concurrency and specification, and distribution and interfaces.
Content:
Front Matter....Pages I-XI
Experiences on The Road to Object Utopia....Pages 1-1
The Cartesian Product Algorithm....Pages 2-26
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language....Pages 27-51
Object Imaging....Pages 52-76
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis....Pages 77-101
Objects with Multiple Most Specific Classes....Pages 102-126
A Marriage of Class- and Object-Based Inheritance Without Unwanted Children....Pages 127-144
On Subtyping and Matching....Pages 145-167
Using Metaobject Protocols to Implement Atomic Data Types....Pages 168-189
Meta-level Programming with CodA....Pages 190-214
An Object-Oriented Framework for the Formal Verification of Processors....Pages 215-234
Incremental Mature Garbage Collection Using the Train Algorithm....Pages 235-252
Message Dispatch on Pipelined Processors....Pages 253-282
Do Object-Oriented Languages Need Special Hardware Support?....Pages 283-302
Programming as an Experience: The Inspiration for Self....Pages 303-330
Time and Asynchrony in Interactions among Distributed Real-Time Objects....Pages 331-350
Object Protocols as Functional Parsers....Pages 351-373
Interface-Based Protocol Specification of Open Systems using PSL....Pages 374-398
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms....Pages 399-423
Sharing Properties in a Uniform Object Space....Pages 424-448
Back Matter....Pages 471-471
ChyPro: A Hypermedia Programming Environment for Smalltalk-80....Pages 449-470
....