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

Keynote Address.- Experiences on The Road to Object Utopia.- Types.- The Cartesian Product Algorithm.- PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.- Object Imaging.- Programming Lauguages.- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.- Objects with Multiple Most Specific Classes.- A Marriage of Class- and Object-Based Inheritance Without Unwanted Children.- Invited Talk.- On Subtyping and Matching.- Reflective Programming / Verification.- Using Metaobject Protocols to Implement Atomic Data Types.- Meta-level Programming with CodA.- An Object-Oriented Framework for the Formal Verification of Processors.- Implementation.- Incremental Mature Garbage Collection Using the Train Algorithm.- Message Dispatch on Pipelined Processors.- Do Object-Oriented Languages Need Special Hardware Support?.- Invited Talk.- Programming as an Experience: The Inspiration for Self.- Concurrency / Specification.- Time and Asynchrony in Interactions among Distributed Real-Time Objects.- Object Protocols as Functional Parsers.- Interface-Based Protocol Specification of Open Systems using PSL.- Distribution / Interfaces.- Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms.- Sharing Properties in a Uniform Object Space.- ChyPro: A Hypermedia Programming Environment for Smalltalk-80.

[1]  R. Nigel Horspool,et al.  Compile-Time Analysis of Object-Oriented Programs , 1992, CC.

[2]  Ichiro Satoh,et al.  A Timed Calculus for Distributed Objects with Clocks , 1993, ECOOP.

[3]  Avra Cohn,et al.  A Proof of Correctness of the Viper Microprocessor: The First Level , 1988 .

[4]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[5]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[6]  Jens Palsberg,et al.  Making Type Inference Practical , 1992, ECOOP.

[7]  Ichiro Satoh,et al.  Asynchrony and Real-Time in Distributed Systems , 1992, Parallel Symbolic Computing.

[8]  Bjørn N. Freeman-Benson,et al.  Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm , 1993, Softw. Pract. Exp..

[9]  Ichiro Satoh,et al.  A Formalism for Remotely Interacting Processes , 1994, Theory and Practice of Parallel Programming.

[10]  Ichiro Satoh,et al.  Semantics for a real-time object-oriented programming language , 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).

[11]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[12]  Ichiro Satoh,et al.  A formalism for real-time concurrent object-oriented computing , 1992, OOPSLA 1992.

[13]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[14]  Oscar Nierstrasz,et al.  Viewing Objects as Patterns of Communicating Agents 1 , 1990 .

[15]  Elizabeth M. Rudnick,et al.  Microprocessor Design Verification , 2000, The VLSI Handbook.

[16]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.

[17]  Aarti Gupta,et al.  Formal hardware verification methods: A survey , 1992, Formal Methods Syst. Des..

[18]  M. Gordon.  HOL : A machine oriented formulation of higher order logic , 1985 .

[19]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[20]  Andrew A. Chien,et al.  Precise concrete type inference for object-oriented languages , 1994, OOPSLA 1994.

[21]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[22]  Norihisa Suzuki,et al.  Inferring types in Smalltalk , 1981, POPL '81.

[23]  Pierre Cointe.  CLOS and Smalltalk: a comparison , 1993 .