Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were acceptedforpublicationafterathoroughreviewingprocess.Everypaperreceived atleast4reviews.Paperswereevaluatedbasedonrelevance,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles and abstracts are also included in these proceedings.

681.3*D15 --- Object-oriented methods (Computer science) --- Object development methods (Computer science) --- Object orientation (Computer science) --- Object-oriented development (Computer science) --- Object technology (Computer science) --- System design --- 681.3*D15 Software: object-oriented programming --- Software: object-oriented programming --- Programming --- Object-oriented programming (Computer science) --- Conception orientée objet (Informatique) --- Programmation orientée objet (Informatique) --- Congresses. --- Congrès --- Conception orientée objet (Informatique) --- Programmation orientée objet (Informatique) --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computers and civilization. --- Computer Science. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Computers and Society. --- Civilization and computers --- Civilization --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Object-oriented methods (Computer science) - Congresses --- Object-oriented programming (Computer science) - Congresses --- Programming languages (Electronic computers) --- Computer networks.