Luca Cardelli
Ecoop 2003 - Object-oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings - Lecture Notes in Computer Science Luca Cardelli

Name: Ecoop 2003 - Object-oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: Luca Cardelli

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Ecoop 2003 - Object-oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings - Lecture Notes in Computer Science

Luca Cardelli

Covers the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. This title includes papers which are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; and algorithms, optimization, and runtimes.

Marc Notes: Includes bibliographical references and index. Table of 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."Publisher Marketing: 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.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de julio de 2003
ISBN13	9783540405313
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	505
Dimensiones	156 × 234 × 26 mm · 716 g
Lengua	Alemán