Erik Ernst
Proceedings of the 21st European Conference on Object-Oriented Programming
ECOOP, 2007.

@proceedings{ECOOP-2007,
	address       = "Berlin, Germany",
	editor        = "Erik Ernst",
	isbn          = "978-3-540-73588-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st European Conference on Object-Oriented Programming}",
	volume        = 4609,
	year          = 2007,
}

Contents (28 items)

7 ×#java
5 ×#named
2 ×#aspect-oriented
2 ×#garbage collection
2 ×#performance
2 ×#reasoning
2 ×#using

ECOOP-2007-Armstrong #concurrent #erlang #named

Erlang — Software for a Concurrent World (JA), p. 1.

ECOOP-2007-SiekT #type system

Gradual Typing for Objects (JGS, WT), pp. 2–27.

ECOOP-2007-DietlDM

Generic Universe Types (WD, SD, PM), pp. 28–53.

ECOOP-2007-VaziriTFD #declarative #using

Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.

ECOOP-2007-VenstermansEB #java #pointer #virtual machine

Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.

ECOOP-2007-FramptonBCG #garbage collection #realtime

Generational Real-Time Garbage Collection (DF, DFB, PC, DG), pp. 101–125.

ECOOP-2007-XianSJJ #garbage collection #java #named #performance

AS-GC: An Efficient Generational Garbage Collector for Java Application Servers (FX, WSa, CJ, HJ), pp. 126–150.

ECOOP-2007-CabralM #case study #dot-net #exception #java

Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.

ECOOP-2007-GreenwoodBFDGCSSBKR #design #empirical #on the

On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study (PG, TTB, EF, MD, AFG, NC, CS, SS, PB, UK, AR), pp. 176–200.

ECOOP-2007-Cardelli

An Accidental Simula User (LC), p. 201.

ECOOP-2007-LuPX #invariant

Validity Invariants and Effects (YL, JP, JX), pp. 202–226.

ECOOP-2007-ChalinJ #java

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.

ECOOP-2007-ElkarabliehZK #generative

Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.

ECOOP-2007-EmirOW

Matching Objects with Patterns (BE, MO, JW), pp. 273–298.

ECOOP-2007-LinB #data flow #domain-specific language #named

DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.

ECOOP-2007-BalzerGE #reasoning #relational

A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.

ECOOP-2007-WehrLT #interface #java

JavaGI : Generalized Interfaces for Java (SW, RL, PT), pp. 347–372.

ECOOP-2007-ReppyT #metaprogramming

Metaprogramming with Traits (JHR, AT), pp. 373–398.

ECOOP-2007-HuangZS #image #named

Morphing: Safely Shaping a Class in the Image of Others (SSH, DZ, YS), pp. 399–424.

ECOOP-2007-DoorenS #abstraction #inheritance #using

A Higher Abstraction Level Using First-Class Inheritance Relations (MvD, ES), pp. 425–449.

ECOOP-2007-Aldrich #architecture #object-oriented

Assuring Object-Oriented Architecture (JA), p. 450.

ECOOP-2007-CliftonLN #aspect-oriented #effectiveness #named #reasoning

MAO: Ownership and Effects for More Effective Reasoning About Aspects (CC, GTL, JN), pp. 451–475.

ECOOP-2007-CottenierBE #behaviour #implementation #specification

Joinpoint Inference from Behavioral Specification to Implementation (TC, AvdB, TE), pp. 476–500.

ECOOP-2007-HauptS #aspect-oriented #programming

A Machine Model for Aspect-Oriented Programming (MH, HS), pp. 501–524.

ECOOP-2007-BoddenHL #monitoring #performance #program analysis #runtime #staged

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.

ECOOP-2007-DegenTW #java #linear

Tracking Linear and Affine Resources with Java(X) (MD, PT, SW), pp. 550–574.

ECOOP-2007-WykKBS #attribute grammar #grammarware #java

Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.

ECOOP-2007-Wachsmuth #adaptation #co-evolution #metamodelling

Metamodel Adaptation and Model Co-adaptation (GW), pp. 600–624.