| Description |
1 online resource (xxvi, 698 pages) : illustrations |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 8586 |
|
Advanced research in computing and software science |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8586. 0302-9743
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| 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 |
| Summary |
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 |
| Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed July 30, 2014) |
| In |
Springer eBooks |
| Subject |
Object-oriented programming (Computer science) -- Congresses
|
|
Object-oriented programming (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Jones, Richard, editor
|
| ISBN |
9783662442029 |
|
3662442027 |
|
3662442019 |
|
9783662442012 |
|
