


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














