Amazon cover image
Image from Amazon.com

ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings / Luca Cardelli, ed.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 2743.Publication details: Berlin ; New York : Springer-Verlag, ©2003.Description: 1 online resource (x, 500 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540450702
  • 354045070X
Subject(s): Genre/Form: Additional physical formats: Print version:ECOOP 2003 (2003 : Darmstadt, Germany): ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedingsDDC classification:
  • 005.1/17 22
LOC classification:
  • QA76.9.O35 E33 2003
Online resources:
Contents:
Invited Talk 1 -- Built-in Object Security -- Aspects and Components -- Modeling Crosscutting in Aspect-Oriented Mechanisms -- Spontaneous Container Services -- A Calculus of Untyped Aspect-Oriented Programs -- Patterns, Architecture, and Collaboration -- Language Support for Connector Abstractions -- Walkabout Revisited: The Runabout -- MX: Mobile Object Exchange for Collaborative Applications -- Types -- Regular Object Types -- External Uniqueness Is Unique Enough -- A Nominal Theory of Objects with Dependent Types -- Invited Talk 2 -- Open APIs for Embedded Security -- Modeling -- Traits: Composable Units of Behaviour -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information -- Higher-Order Hierarchies -- Algorithms, Optimization and Runtimes -- Two-Dimensional Bi-directional Object Layout -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications -- Java Subtype Tests in Real-Time -- Invited Talk 3 -- Growing XQuery -- Formal Techniques and Methodology -- Discovering Algebraic Specifications from Java Classes -- A Refinement Algebra for Object-Oriented Programming -- Object-Oriented Reading Techniques for Inspection of UML Models -- An Industrial Experiment.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

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.

Invited Talk 1 -- Built-in Object Security -- Aspects and Components -- Modeling Crosscutting in Aspect-Oriented Mechanisms -- Spontaneous Container Services -- A Calculus of Untyped Aspect-Oriented Programs -- Patterns, Architecture, and Collaboration -- Language Support for Connector Abstractions -- Walkabout Revisited: The Runabout -- MX: Mobile Object Exchange for Collaborative Applications -- Types -- Regular Object Types -- External Uniqueness Is Unique Enough -- A Nominal Theory of Objects with Dependent Types -- Invited Talk 2 -- Open APIs for Embedded Security -- Modeling -- Traits: Composable Units of Behaviour -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information -- Higher-Order Hierarchies -- Algorithms, Optimization and Runtimes -- Two-Dimensional Bi-directional Object Layout -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications -- Java Subtype Tests in Real-Time -- Invited Talk 3 -- Growing XQuery -- Formal Techniques and Methodology -- Discovering Algebraic Specifications from Java Classes -- A Refinement Algebra for Object-Oriented Programming -- Object-Oriented Reading Techniques for Inspection of UML Models -- An Industrial Experiment.

Powered by Koha