ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings
type: Item
instance of: scholarly article
title: ECOOP '95 -- object-oriented programming. 9th European conference, Århus, Denmark, August 7--11, 1995. Proceedings
zbMATH Open document ID: 0840.68025
DOI: 10.1007/3-540-49538-X
published in: Lecture Notes in Computer Science
publication date: 1995-08-29T00:00:00Z
review text: [For the preceding conference see Zbl 0875.00133.] This volume contains the proceedings of ECOOP '95, the Ninth European Conference on Object-Oriented Programming, held in Aarhus, Denmark, August 1995. The papers cover the following topics: type theory and type inference for object-oriented programming, object-oriented programming languages (optimization, polymorphism, subtyping, (multiple) inheritance, class hierarchies, static and dynamic binding), reflective object-oriented programming (metaobject protocols for the implementation of atomic data types, metaprogramming), an object-oriented approach to the formal verification of hardware, implementation aspects of object-oriented programming (incremental garbage collection, message dispatch on pipelined processors, compiler optimization techniques vs. hardware support for increased performance of object-oriented languages), concurrency, distributed computing and formal specification of object-oriented systems, and object-oriented hypermedia programming environments.
reviewed by: Udo Hahn
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 791485
zbMATH Keywords: Proceedings
zbMATH Keywords: ECOOP '95
zbMATH Keywords: Conference
zbMATH Keywords: Århus (Denmark)
zbMATH Keywords: object-oriented programming languages
zbMATH Keywords: reflective object-oriented programming
zbMATH Keywords: concurrency
zbMATH Keywords: distributed computing
zbMATH Keywords: formal specification
MaRDI profile type: Publication
Recommended article: Object-oriented programming
Recommended article: Q4715213
Recommended article: Q4738877
Recommended article: Programming languages and systems - ESOP '94. 5th European symposium on Programming, Edinburgh, GB, April 11--13, 1994. Proceedings
Recommended article: Q4023882
Recommended article: Type theories and object-oriented programmimg
description: scientific article; zbMATH DE number 791485