Luca cardelli (14 Ergebnisse)

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.…

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.…

paperback. Zustand: Befriedigend. 516 Seiten; 9783540405313.4 Gewicht in Gramm: 1.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 227 pages. 9.20x6.20x0.40 inches. In Stock.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. pp. 416 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows how object-oriented notions may be expressed in terms of a few basic primitives, and how these can be used to design and understand object-oriented programming languages.…