ECOOP 2003 object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
2743 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ECOOP 2003, Object-oriented programming, 17th European conference, Darmstadt, Germany, July 21-25, 2003, proceedings, Luca Cardelli (ed.), Berlin, Springer, 2003, 1 vol. (X-500 p.), Lecture notes in computer science, 3-540-40531-3 • ECOOP 2003 - Object-Oriented Programming, Texte imprimé, 9783662186756 |
Aurkibidea:
- 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.