ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings

✍ Scribed by Richard Jones (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2014
• Tongue: English
• Leaves: 721
• Series: Lecture Notes in Computer Science 8586 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.

✦ Table of Contents

Front Matter....Pages -
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects....Pages 1-26
Self-inferencing Reflection Resolution for Java....Pages 27-53
Constructing Call Graphs of Scala Programs....Pages 54-79
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis....Pages 80-104
Safely Composable Type-Specific Languages....Pages 105-130
Graceful Dialects....Pages 131-156
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming....Pages 157-181
Reusable Concurrent Data Types....Pages 182-206
TaDA: A Logic for Time and Data Abstraction....Pages 207-231
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores....Pages 232-256
Understanding TypeScript....Pages 257-281
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages....Pages 282-307
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution....Pages 308-333
Rely-Guarantee Protocols....Pages 334-359
Stream Processing with a Spreadsheet....Pages 360-384
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding....Pages 385-410
Babelsberg/JS....Pages 411-436
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks....Pages 437-462
Retargetting Legacy Browser Extensions to Modern Extension Frameworks....Pages 463-488
Capture-Avoiding and Hygienic Program Transformations....Pages 489-514
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions....Pages 515-540
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering....Pages 541-566
An Executable Formal Semantics of PHP....Pages 567-592
Identifying Mandatory Code for Framework Use via a Single Application Trace....Pages 593-617
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns....Pages 618-643
MiCA: A Compositional Architecture for Gossip Protocols....Pages 644-669
Semantics of (Resilient) X10....Pages 670-696
Back Matter....Pages -

✦ Subjects

Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks