Cantitate/Preț
Produs

ECOOP 2003 - Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings: Lecture Notes in Computer Science, cartea 2743

Editat de Luca Cardelli
en Limba Engleză Paperback – 9 iul 2003

Din seria Lecture Notes in Computer Science

Preț: 65636 lei

Preț vechi: 82045 lei
-20% Nou

Puncte Express: 985

Preț estimativ în valută:
12559 13113$ 10395£

Carte tipărită la comandă

Livrare economică 05-19 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540405313
ISBN-10: 3540405313
Pagini: 516
Ilustrații: X, 505 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.72 kg
Ediția:2003
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.