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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Jones, Richard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Programming and Software Engineering, 8586
Temas:
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Machine theory.
Computer networks .
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares