ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /
ECOOP 2003 - Object-Oriented Programming 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / [electronic resource] :
edited by Luca Cardelli.
- 1st ed. 2003.
- X, 505 p. online resource.
- Lecture Notes in Computer Science, 2743 1611-3349 ; .
- Lecture Notes in Computer Science, 2743 .
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.
9783540450702
10.1007/b11832 doi
Computer programming.
Software engineering.
Computer networks .
Computer science.
Database management.
Information technology--Management.
Programming Techniques.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Database Management.
Computer Application in Administrative Data Processing.
QA76.6-76.66
005.11
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.
9783540450702
10.1007/b11832 doi
Computer programming.
Software engineering.
Computer networks .
Computer science.
Database management.
Information technology--Management.
Programming Techniques.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Database Management.
Computer Application in Administrative Data Processing.
QA76.6-76.66
005.11