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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jones, Richard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Series: Lecture Notes in Computer Science, 8586
• Subjects: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Computer Communication Networks.

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 nam...

Table of Contents:

• State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript
• Self-inferencing Reflection Resolution for Java
• Constructing Call Graphs of Scala Programs
• Finding Reference-Counting Errors in Python/C Programs with Affine Analysis
• Safely Composable Type-Specific Languages
• Graceful Dialects
• Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
• Reusable Concurrent Data Types
• TaDA: A Logic for Time and Data Abstraction
• Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
• Understanding TypeScript
• Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
• Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
• Rely-Guarantee Protocols
• Stream Processing with a Spreadsheet
• Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding
• Babelsberg/JS: A Browser-Based Implementation of an Object Constraint Language
• Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks
• Retargetting Legacy Browser Extensions to Modern Extension Frameworks
• Capture-Avoiding and Hygienic Program Transformations
• Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
• Portable and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine Layering
• An Executable Formal Semantics of PHP
• Identifying Mandatory Code for Framework Use via a Single Application Trace
• Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns
• MiCA: A Compositional Architecture for Gossip Protocols
• Semantics of Resilient) X10.