Richard Jones
Proceedings of the 28th European Conference on Object-Oriented Programming
ECOOP, 2014.

@proceedings{ECOOP-2014,
	address       = "Uppsala, Sweden",
	doi           = "10.1007/978-3-662-44202-9",
	editor        = "Richard Jones",
	isbn          = "978-3-662-44201-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 28th European Conference on Object-Oriented Programming}",
	volume        = 8586,
	year          = 2014,
}

Contents (27 items)

4 ×#named
3 ×#concurrent
3 ×#framework
3 ×#protocol
2 ×#abstraction
2 ×#analysis
2 ×#composition
2 ×#execution
2 ×#java
2 ×#javascript

ECOOP-2014-WeiR #analysis #behaviour #javascript #points-to

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.

ECOOP-2014-LiTSX #java #self

Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.

ECOOP-2014-AliRLDT #graph #scala #source code

Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.

ECOOP-2014-LiT #analysis #fault #python #source code

Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.

ECOOP-2014-OmarKNCPA #composition

Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.

ECOOP-2014-HomerJNBB

Graceful Dialects (MH, TJ, JN, KBB, APB), pp. 131–156.

ECOOP-2014-SunshineHA #documentation #empirical #programming #protocol

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming (JS, JDH, JA), pp. 157–181.

ECOOP-2014-GramoliG #concurrent #data type #reuse

Reusable Concurrent Data Types (VG, RG), pp. 182–206.

ECOOP-2014-PintoDG #abstraction #logic #named

TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.

ECOOP-2014-LeeKZ #concurrent #execution #multi

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.

ECOOP-2014-BiermanAT #comprehension #typescript

Understanding TypeScript (GMB, MA, MT), pp. 257–281.

ECOOP-2014-AnconaC #induction #object-oriented #type system

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages (DA, AC), pp. 282–307.

ECOOP-2014-MillerHO #concurrent #named #type system

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (HM, PH, MO), pp. 308–333.

ECOOP-2014-MilitaoAC #protocol

Rely-Guarantee Protocols (FM, JA, LC), pp. 334–359.

ECOOP-2014-VaziriTRSH #spreadsheet

Stream Processing with a Spreadsheet (MV, OT, RR, PS, MH), pp. 360–384.

ECOOP-2014-ScherrC #staging

Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding (MS, SC), pp. 385–410.

ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named #ocl

Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.

ECOOP-2014-MayerS #automation #domain-specific language #framework #java #multi #refactoring

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.

ECOOP-2014-KarimDG #framework #legacy

Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.

ECOOP-2014-ErdwegSD #program transformation

Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.

ECOOP-2014-OkurED #abstraction #low level #parallel

Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.

ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine

Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.

ECOOP-2014-FilarettiM #execution #php #semantics

An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.

ECOOP-2014-NittaKT #framework #identification

Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.

ECOOP-2014-ImamS #parallel #scheduling

Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns (SMI, VS), pp. 618–643.

ECOOP-2014-PrincehouseCJBFS #architecture #composition #named #protocol

MiCA: A Compositional Architecture for Gossip Protocols (LP, RC, ZJ, KPB, NF, RS), pp. 644–669.

ECOOP-2014-CrafaCSST #semantics

Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.