Luca Cardelli
Proceedings of the 17th European Conference on Object-Oriented Programming
ECOOP, 2003.

@proceedings{ECOOP-2003,
	address       = "Darmstadt, Germany",
	editor        = "Luca Cardelli",
	isbn          = "3-540-40531-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th European Conference on Object-Oriented Programming}",
	volume        = 2743,
	year          = 2003,
}

Contents (21 items)

3 ×#java
3 ×#named
2 ×#algebra
2 ×#aspect-oriented
2 ×#automation
2 ×#modelling
2 ×#object-oriented
2 ×#security
2 ×#type system

ECOOP-2003-Abadi #security

Built-in Object Security (MA), p. 1.

ECOOP-2003-MasuharaK #aspect-oriented #modelling

Modeling Crosscutting in Aspect-Oriented Mechanisms (HM, GK), pp. 2–28.

ECOOP-2003-PopoviciAG

Spontaneous Container Services (AP, GA, TRG), pp. 29–53.

ECOOP-2003-JagadeesanJR #aspect-oriented #calculus #source code

A Calculus of Untyped Aspect-Oriented Programs (RJ, AJ, JR), pp. 54–73.

ECOOP-2003-AldrichSCN #abstraction

Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.

ECOOP-2003-Grothoff

Walkabout Revisited: The Runabout (CG), pp. 103–125.

ECOOP-2003-ShriraT #collaboration #mobile #named

MX: Mobile Object Exchange for Collaborative Applications (LS, HT), pp. 126–150.

ECOOP-2003-GapeyevP

Regular Object Types (VG, BCP), pp. 151–175.

ECOOP-2003-ClarkeW

External Uniqueness Is Unique Enough (DC, TW), pp. 176–200.

ECOOP-2003-OderskyCRZ #dependent type

A Nominal Theory of Objects with Dependent Types (MO, VC, CR, MZ), pp. 201–224.

ECOOP-2003-Gunter #api #embedded #security

Open APIs for Embedded Security (CAG), pp. 225–247.

ECOOP-2003-ScharliDNB #behaviour #composition #named

Traits: Composable Units of Behaviour (NS, SD, ON, APB), pp. 248–274.

ECOOP-2003-LamR #analysis #automation #design #type system

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information (PL, MCR), pp. 275–302.

ECOOP-2003-Ernst #higher-order

Higher-Order Hierarchies (EE), pp. 303–328.

ECOOP-2003-ZibinG #2d #layout

Two-Dimensional Bi-directional Object Layout (YZ, JYG), pp. 329–350.

ECOOP-2003-MitchellS #automation #java #lightweight #memory management #named #scalability

LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications (NM, GS), pp. 351–377.

ECOOP-2003-PalaczV #java #realtime #testing #type system

Java Subtype Tests in Real-Time (KP, JV), pp. 378–404.

ECOOP-2003-FernandezS #xquery

Growing XQuery (MFF, JS), pp. 405–430.

ECOOP-2003-HenkelD #algebra #java #specification

Discovering Algebraic Specifications from Java Classes (JH, AD), pp. 431–456.

ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement

A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.

ECOOP-2003-ConradiMAHBP #empirical #industrial #modelling #object-oriented #uml

Object-Oriented Reading Techniques for Inspection of UML Models — An Industrial Experiment (RC, PM, TA, LCH, GAB, AP), pp. 483–500.