ECOOP 2014 - Object-Oriented Programming  28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings /  [electronic resource] : 
edited by Richard Jones. 
 - XXVI, 698 p. 195 illus.  online resource. 
 - Lecture Notes in Computer Science,  8586  0302-9743 ; .
 - Lecture Notes in Computer Science,  8586 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783662442029 
<br/><br/><label>Standard No.: </label>10.1007/978-3-662-44202-9  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Computer Science.<br/>Programming Techniques.<br/>Software Engineering.<br/>Programming Languages, Compilers, Interpreters.<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.<br/>Computer Communication Networks.
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66 
<br/><br/><label>Dewey Class. No.: </label>005.11