{"product_id":"9783662442012","title":"ECOOP 2014 -- Object-Oriented Programming : 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings (Lecture Notes in Computer Science \/ Programming and Software Engineering .8586) (2014. 2014. xxvi, 698 S. 195 SW-Abb.,. 235 mm)","description":"\u003cp\u003eThis 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. 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.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE","offers":[{"title":"Default Title","offer_id":48781411975403,"sku":"00000_00000_00000_00000","price":100.69,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9783662442012-1.jpg?v=1783558186","url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9783662442012","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}