ECOOP 2014 -- Object-oriented programming : 28th European Conference, Uppsala, Sweden, July 28-August 1, 2014. Proceedings /

ECOOP 2014 -- Object-oriented programming : 28th European Conference, Uppsala, Sweden, July 28-August 1, 2014. Proceedings /

Saved in:
Bibliographic Details
Meeting name:ECOOP (Conference) (28th : 2014 : Uppsala, Sweden)
Imprint:Heidelberg : Springer, 2014.
Description:1 online resource (xxvi, 698 pages) : illustrations.
Language:English
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.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:
Object-oriented programming (Computer science) -- Congresses.
Object-oriented programming (Computer science)
Conference papers and proceedings.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11086611
Hidden Bibliographic Details
Other authors / contributors:Jones, Richard, editor.
ISBN:9783662442029
3662442027
3662442019
9783662442012
9783662442012
Notes:International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed July 30, 2014).
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.
Other form:Printed edition: 9783662442012
Standard no.:10.1007/978-3-662-44202-9
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.

Similar Items