Cantitate/Preț
Produs
Total produse
Vezi coșul
ECOOP 2014 -- Object-Oriented Programming de Richard Jones

ECOOP 2014 -- Object-Oriented Programming

Editat de Richard Jones
en Limba Engleză Paperback – 6 aug 2014
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.
Citește tot Restrânge

Preț: 34386 lei

Preț vechi: 42981 lei
-20%

Puncte Express: 516

Carte tipărită la comandă

Livrare economică 16-30 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783662442012
ISBN-10: 3662442019
Pagini: 724
Ilustrații: XXVI, 698 p. 195 illus.
Dimensiuni: 155 x 235 x 39 mm
Greutate: 1.08 kg
Ediția:2014
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.