Theo D'Hondt
Proceedings of the 24th European Conference on Object-Oriented Programming
ECOOP, 2010.

@proceedings{ECOOP-2010,
	address       = "Maribor, Slovenia",
	doi           = "10.1007/978-3-642-14107-2",
	editor        = "Theo D'Hondt",
	isbn          = "978-3-642-14106-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 24th European Conference on Object-Oriented Programming}",
	volume        = 6183,
	year          = 2010,
}

Contents (27 items)

4 ×#concurrent
4 ×#java
2 ×#execution
2 ×#object-oriented
2 ×#programming
2 ×#specification
2 ×#type system
2 ×#using
2 ×#verification

ECOOP-2010-Lea

Code Roots (DL), p. 1.

ECOOP-2010-MonperrusBM #detection #object-oriented

Detecting Missing Method Calls in Object-Oriented Software (MM, MB, MM), pp. 2–25.

ECOOP-2010-DhooliaMSS #debugging #using

Debugging Model-Transformation Failures Using Dynamic Tainting (PD, SM, VSS, SS), pp. 26–51.

ECOOP-2010-HermansPD #automation #diagrams #spreadsheet

Automatically Extracting Class Diagrams from Spreadsheets (FH, MP, AvD), pp. 52–75.

ECOOP-2010-BiermanMT #c#

Adding Dynamic Types to C^# (GMB, EM, MT), pp. 76–100.

ECOOP-2010-FraineES #aspect-oriented #calculus

Essential AOP: The A Calculus (BDF, EE, MS), pp. 101–125.

ECOOP-2010-GuhaSK #javascript

The Essence of JavaScript (AG, CS, SK), pp. 126–150.

ECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification

Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.

ECOOP-2010-SvendsenBP #verification

Verifying Generics and Delegates (KS, LB, MJP), pp. 175–199.

ECOOP-2010-HeideggerT #scripting language

Recency Types for Analyzing Scripting Languages (PH, PT), pp. 200–224.

ECOOP-2010-SchaferDSTT #concurrent #java #refactoring

Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.

ECOOP-2010-HarelMW #behaviour #coordination #java #programming

Programming Coordinated Behavior in Java (DH, AM, GW), pp. 250–274.

ECOOP-2010-SchaferP #component #concurrent #named

JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.

ECOOP-2010-Hanenberg #developer #empirical #programming #static typing #type system

Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects — An Empirical Study (SH), pp. 300–303.

ECOOP-2010-VaziriTDHV #type system

A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.

ECOOP-2010-HuKPYH #java #type safety

Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.

ECOOP-2010-HallerO

Capabilities for Uniqueness and Borrowing (PH, MO), pp. 354–378.

ECOOP-2010-Ernst

Secret Valley (EE), p. 379.

ECOOP-2010-RenggliGN #tool support

Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.

ECOOP-2010-BrachaABKMM

Modules as Objects in Newspeak (GB, PvdA, VB, YK, WM, EM), pp. 405–428.

ECOOP-2010-Brunthaler

Inline Caching Meets Quickening (SB), pp. 429–451.

ECOOP-2010-OstrowskiSB #manycore #platform #self

Self-Replicating Objects for Multicore Platforms (KO, CS, KB), pp. 452–477.

ECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.

ECOOP-2010-Dinsdale-YoungDGPV #concurrent

Concurrent Abstract Predicates (TDY, MD, PG, MJP, VV), pp. 504–528.

ECOOP-2010-GilL #java #source code #using

The Use of Overloading in Java Programs (JYG, KL), pp. 529–551.

ECOOP-2010-SamimiAM #execution #specification

Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.

ECOOP-2010-ZaeemK #alloy #contract #data type #using

Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.