ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cardelli, Luca (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2743
• Θέματα: Computer programming.; Software engineering.; Computer communication systems.; Computer logic.; Database management.; Application software.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Logics and Meanings of Programs.; Database Management.; Computer Appl. in Administrative Data Processing.

Πίνακας περιεχομένων:

• 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.