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: 120.99 EUR
Availability: OutOfStock
Author: Luca Cardelli

Cena

€ 120,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 24. aug.

Saņemiet paziņojumus par jauniem Luca Cardelli izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2003. gada 9. jūlijs
ISBN13	9783540405313
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	505
Izmēri	156 × 234 × 26 mm · 716 g
Valoda	Vācu