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

Brossura

ISBN 10: 3662442035 ISBN 13: 9783662442036

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662442035
• ISBN 13: 9783662442036
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile