Object oriented programming

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.