Produktbild: ECOOP 2003 - Object-Oriented Programming
Band 2743

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

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.07.2003

Abbildungen

X, 505 p.

Herausgeber

Luca Cardelli

Verlag

Springer Berlin

Seitenzahl

505

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

774 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40531-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.07.2003

Abbildungen

X, 505 p.

Herausgeber

Luca Cardelli

Verlag

Springer Berlin

Seitenzahl

505

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

774 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40531-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: ECOOP 2003 - Object-Oriented Programming
  • 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.