Martin Odersky
Proceedings of the 18th European Conference on Object-Oriented Programming
ECOOP, 2004.

@proceedings{ECOOP-2004,
	address       = "Oslo, Norway",
	editor        = "Martin Odersky",
	isbn          = "3-540-22159-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th European Conference on Object-Oriented Programming}",
	volume        = 3086,
	year          = 2004,
}

Contents (27 items)

4 ×#java
3 ×#interface
2 ×#analysis
2 ×#concurrent
2 ×#monitoring
2 ×#policy
2 ×#scalability
2 ×#type system
2 ×#using

ECOOP-2004-AldrichC #alias #policy

Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.

ECOOP-2004-ScharliDNW #composition #encapsulation #policy

Composable Encapsulation Policies (NS, SD, ON, RW), pp. 26–50.

ECOOP-2004-SpoonS #precise #scalability #type inference

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.

ECOOP-2004-BeersSF #analysis

Efficiently Verifiable Escape Analysis (MQB, CHS, MF), pp. 75–95.

ECOOP-2004-HirzelDH #analysis #pointer

Pointer Analysis in the Presence of Dynamic Class Loading (MH, AD, MH), pp. 96–122.

ECOOP-2004-Torgersen #problem #revisited

The Expression Problem Revisited (MT), pp. 123–143.

ECOOP-2004-EkmanH #attribute grammar

Rewritable Reference Attributed Grammars (TE, GH), pp. 144–169.

ECOOP-2004-AmmonsCGS #performance #scalability

Finding and Removing Performance Bottlenecks in Large Systems (GA, JDC, MG, NS), pp. 170–194.

ECOOP-2004-JanzenV #effectiveness #programming

Programming with Crosscutting Effective Views (DJ, KDV), pp. 195–218.

ECOOP-2004-CohenG #aspect-oriented #aspectj

AspectJ2EE = AOP + J2EE (TC, JYG), pp. 219–243.

ECOOP-2004-SillitoDEV #case study

Use Case Level Pointcuts (JS, CD, ADE, KDV), pp. 244–266.

ECOOP-2004-Felleisen #functional

Functional Objects (MF), p. 267.

ECOOP-2004-IterumC #corba #inheritance #interface #version control

Inheritance-Inspired Interface Versioning for CORBA (SI, RC), pp. 268–290.

ECOOP-2004-AliaCDHL #framework #java #middleware #persistent #query

A Middleware Framework for the Persistence and Querying of Java Objects (MA, SCB, PD, CH, AL), pp. 291–315.

ECOOP-2004-CaromelMT #monitoring

Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.

ECOOP-2004-VitenbergKS #concurrent #database #program analysis #using

Increasing Concurrency in Databases Using Program Analysis (RV, KK, AKS), pp. 341–363.

ECOOP-2004-FindlerFF #contract #semantics #type system

Semantic Casts: Contracts and Structural Subtyping in a Nominal World (RBF, MF, MF), pp. 364–388.

ECOOP-2004-BruceF #java #named #weaving

LOOJ: Weaving LOOM into Java (KBB, JNF), pp. 389–413.

ECOOP-2004-LiuS #communication #interface

Modules with Interfaces for Dynamic Linking and Communication (YDL, SFS), pp. 414–439.

ECOOP-2004-McCamantE #component #identification #multi

Early Identification of Incompatibilities in Multi-component Upgrades (SM, MDE), pp. 440–464.

ECOOP-2004-DeLineF #type system

Typestates for Objects (RD, MF), pp. 465–490.

ECOOP-2004-LeinoM #invariant

Object Invariants in Dynamic Contexts (KRML, PM), pp. 491–516.

ECOOP-2004-Henzinger #interface

Rich Interfaces for Software Modules (TAH), pp. 517–518.

ECOOP-2004-WelcJH #concurrent #monitoring #transaction

Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.

ECOOP-2004-VelascoOT #adaptation

Adaptive Tuning of Reserved Space in an Appel Collector (JMV, KO, FT), pp. 543–559.

ECOOP-2004-OnoderaKK #java

Lock Reservation for Java Reconsidered (TO, KK, AK), pp. 559–583.

ECOOP-2004-SutterTD #constraints #java #library #using

Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.