ECOOP 2014 – Object-Oriented Programming [Elektronisk resurs] 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings / edited by Richard Jones.

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

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

Ämnesord

Computer science.  (LCSH)

Computer Communication Networks.  (LCSH)

Software engineering.  (LCSH)

Logic design.  (LCSH)

Computer Science. 

Programming Techniques. 

Software Engineering. 

Programming Languages, Compilers, Interpreters. 

Logics and Meanings of Programs. 

Mathematical Logic and Formal Languages. 

Computer Communication Networks. 

Klassifikation

QA76.6-76.66 (LCC)

COM051000 (ämneskategori)

005.11 (DDC)

Pubb (kssb/8 (machine generated))