Parameter
Mehr zum Buch
InhaltsverzeichnisInvited 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.
Buchkauf
Object oriented programming, Luca Cardelli
- Sprache
- Erscheinungsdatum
- 2003
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Object oriented programming
- Sprache
- Englisch
- Autor*innen
- Luca Cardelli
- Verlag
- Springer
- Erscheinungsdatum
- 2003
- ISBN10
- 3540405313
- ISBN13
- 9783540405313
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisInvited 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.