default search action
17th ECOOP 2003: Darmstadt, Germany
- Luca Cardelli:
ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Lecture Notes in Computer Science 2743, Springer 2003, ISBN 3-540-40531-3
Invited Talk 1
- Martín Abadi:
Built-in Object Security. 1
Aspects and Components
- Hidehiko Masuhara, Gregor Kiczales:
Modeling Crosscutting in Aspect-Oriented Mechanisms. 2-28 - Andrei Popovici, Gustavo Alonso, Thomas R. Gross:
Spontaneous Container Services. 29-53 - Radha Jagadeesan, Alan Jeffrey, James Riely:
A Calculus of Untyped Aspect-Oriented Programs. 54-73
Patterns, Architecture, and Collaboration
- Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin:
Language Support for Connector Abstractions. 74-102 - Christian Grothoff:
Walkabout Revisited: The Runabout. 103-125 - Liuba Shrira, Hong Tian:
MX: Mobile Object Exchange for Collaborative Applications. 126-150
Types
- Vladimir Gapeyev, Benjamin C. Pierce:
Regular Object Types. 151-175 - Dave Clarke, Tobias Wrigstad:
External Uniqueness Is Unique Enough. 176-200 - Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger:
A Nominal Theory of Objects with Dependent Types. 201-224
Invited Talk 2
- Carl A. Gunter:
Open APIs for Embedded Security. 225-247
Modeling
- Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew P. Black:
Traits: Composable Units of Behaviour. 248-274 - Patrick Lam, Martin C. Rinard:
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. 275-302 - Erik Ernst:
Higher-Order Hierarchies. 303-328
Algorithms, Optimization and Runtimes
- Yoav Zibin, Joseph Gil:
Two-Dimensional Bi-directional Object Layout. 329-350 - Nick Mitchell, Gary Sevitsky:
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications. 351-377 - Krzysztof Palacz, Jan Vitek:
Java Subtype Tests in Real-Time. 378-404
Invited Talk 3
- Mary F. Fernández, Jérôme Siméon:
Growing XQuery. 405-430
Formal Techniques and Methodology
- Johannes Henkel, Amer Diwan:
Discovering Algebraic Specifications from Java Classes. 431-456 - Paulo Borba, Augusto Sampaio, Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming. 457-482 - Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde, Anders Pedersen:
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment. 483-500
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.