1 option
ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / edited by Richard Jones.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 8586.
- Programming and Software Engineering ; 8586
- Language:
- English
- Subjects (All):
- Computer programming.
- Software engineering.
- Programming languages (Electronic computers).
- Computer logic.
- Logic, Symbolic and mathematical.
- Computer networks.
- Programming Techniques.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Computer Communication Networks.
- Local Subjects:
- Programming Techniques.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (XXVI, 698 pages) : 195 illustrations.
- Edition:
- First edition 2014.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
- System Details:
- text file PDF
- 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.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-662-44202-9
- 9783662442029
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.