𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

✍ Scribed by Martín Abadi (auth.), Luca Cardelli (eds.)

Publisher
Springer-Verlag Berlin Heidelberg
Year
2003
Tongue
English
Leaves
541
Series
Lecture Notes in Computer Science 2743
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.

The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology.

✦ Table of Contents

Front Matter....Pages -
Built-in Object Security....Pages 1-1
Modeling Crosscutting in Aspect-Oriented Mechanisms....Pages 2-28
Spontaneous Container Services....Pages 29-53
A Calculus of Untyped Aspect-Oriented Programs....Pages 54-73
Language Support for Connector Abstractions....Pages 74-102
Walkabout Revisited: The Runabout....Pages 103-125
MX: Mobile Object Exchange for Collaborative Applications....Pages 126-150
Regular Object Types....Pages 151-175
External Uniqueness Is Unique Enough....Pages 176-200
A Nominal Theory of Objects with Dependent Types....Pages 201-224
Open APIs for Embedded Security....Pages 225-247
Traits: Composable Units of Behaviour....Pages 248-274
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information....Pages 275-302
Higher-Order Hierarchies....Pages 303-328
Two-Dimensional Bi-directional Object Layout....Pages 329-350
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications....Pages 351-377
Java Subtype Tests in Real-Time....Pages 378-404
Growing XQuery....Pages 405-430
Discovering Algebraic Specifications from Java Classes....Pages 431-456
A Refinement Algebra for Object-Oriented Programming....Pages 457-482
Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment....Pages 483-500
Back Matter....Pages -

✦ Subjects

Software Engineering/Programming and Operating Systems; Computer Communication Networks; Logics and Meanings of Programs; Database Management; Computer Appl. in Administrative Data Processing; Computers and Society

πŸ“œ SIMILAR VOLUMES

ECOOP - Object-Oriented Programming: 21t
πŸ“ ECOOP - Object-Oriented Programming: 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
✍ Erik Ernst (editor) πŸ“‚ Library πŸ“… 2007 πŸ› Springer 🌐 English

<span>This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007. The 25 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 135 f

ECOOP 2005 - Object-Oriented Programming
πŸ“ ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
✍ Bertrand Meyer (auth.), Andrew P. Black (eds.) πŸ“‚ Library πŸ“… 2005 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The 19th Annual Meeting of the European Conference on Object-Oriented Programmingβ€”ECOOP 2005β€”took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a vol

Object-Oriented Technology. ECOOP 2003 W
πŸ“ Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports
✍ Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buc πŸ“‚ Library πŸ“… 2004 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This volume represents the seventh edition of the ECOOP Workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonObject- Oriented Programming (ECOOP 2003), held in Darmstadt, Germany, during July 21–25, 2003. The workshops were held during the ?rst two days of the conference.

Object-Oriented Technology. ECOOP 2003 W
πŸ“ Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports
✍ Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buc πŸ“‚ Library πŸ“… 2004 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This volume represents the seventh edition of the ECOOP Workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonObject- Oriented Programming (ECOOP 2003), held in Darmstadt, Germany, during July 21–25, 2003. The workshops were held during the ?rst two days of the conference.

Object-Oriented Technology. ECOOP 2003 W
πŸ“ Object-Oriented Technology. ECOOP 2003 Workshop Reader: ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003. Final Reports
✍ Alexander Romanovsky, Christophe Dony (auth.), Frank Buschmann, Alejandro P. Buc πŸ“‚ Library πŸ“… 2004 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This volume represents the seventh edition of the ECOOP Workshop Reader, a compendiumofworkshopreportsfromthe17thEuropeanConferenceonObject- Oriented Programming (ECOOP 2003), held in Darmstadt, Germany, during July 21–25, 2003. The workshops were held during the ?rst two days of the conference.