ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 2003 - Proceedings

Name: ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 2003 - Proceedings
Availability: InStock
ISBN: 9783540405313

ISBN-10: 3540405313

ISBN-13: 9783540405313

Edition: 2003

Authors: Luca Cardelli

List price: $109.99

30 day, 100% satisfaction guarantee!

Rent eBooks

30 day rental: $29.70 Expiration date: 5/28/2024

60 day rental: $39.60 Expiration date: 6/27/2024

90 day rental: $49.50 Expiration date: 7/27/2024

120 day rental: $59.40 Expiration date: 8/26/2024

180 day rental: $64.35 Expiration date: 10/25/2024

Marketplace

2 new & used from $94.94

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $109.99
Copyright year: 2003
Publisher: Springer Berlin / Heidelberg
Publication date: 7/9/2003
Binding: Paperback
Pages: 505
Size: 6.10" wide x 9.25" long x 1.25" tall
Weight: 3.476
Language: English



Built-in Object Security



Modeling Crosscutting in Aspect-Oriented Mechanisms



Spontaneous Container Services



A Calculus of Untyped Aspect-Oriented Programs



Language Support for Connector Abstractions



Walkabout Revisited: The Runabout



MX: Mobile Object Exchange for Collaborative Applications



Regular Object Types



External Uniqueness Is Unique Enough



A Nominal Theory of Objects with Dependent Types



Open APIs for Embedded Security



Traits: Composable Units of Behaviour



A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information



Higher-Order Hierarchies



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



Growing XQuery



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



Author Index