ECOOP 2003

21 papers

1. A Calculus of Untyped Aspect-Oriented Programs · Radha Jagadeesan, Alan Jeffrey, James Riely
2. A Nominal Theory of Objects with Dependent Types · Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
3. A Refinement Algebra for Object-Oriented Programming · Paulo Borba, Augusto Sampaio, Márcio Cornélio
4. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information · Patrick Lam, Martin C. Rinard
5. Built-in Object Security · Martín Abadi
6. Discovering Algebraic Specifications from Java Classes · Johannes Henkel, Amer Diwan
7. External Uniqueness Is Unique Enough · Dave Clarke, Tobias Wrigstad
8. Growing XQuery · Mary F. Fernández, Jérôme Siméon
9. Higher-Order Hierarchies · Erik Ernst
10. Java Subtype Tests in Real-Time · Krzysztof Palacz, Jan Vitek
11. Language Support for Connector Abstractions · Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
12. LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications · Nick Mitchell, Gary Sevitsky
13. MX: Mobile Object Exchange for Collaborative Applications · Liuba Shrira, Hong Tian
14. Modeling Crosscutting in Aspect-Oriented Mechanisms · Hidehiko Masuhara, Gregor Kiczales
15. Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment · Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde, Anders Pedersen
16. Open APIs for Embedded Security · Carl A. Gunter
17. Regular Object Types · Vladimir Gapeyev, Benjamin C. Pierce
18. Spontaneous Container Services · Andrei Popovici, Gustavo Alonso, Thomas R. Gross
19. Traits: Composable Units of Behaviour · Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew P. Black
20. Two-Dimensional Bi-directional Object Layout · Yoav Zibin, Joseph Gil
21. Walkabout Revisited: The Runabout · Christian Grothoff