ECOOP 2014 -- Object-Oriented Programming de Richard Jones

ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings: Lecture Notes in Computer Science, cartea 8586

Richard Jones

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

Din seria Lecture Notes in Computer Science

20%

Preț: 1040^.03 lei
20%

Preț: 333^.46 lei
20%

Preț: 335^.08 lei
20%

Preț: 444^.17 lei
20%

Preț: 238^.01 lei
20%

Preț: 333^.46 lei
20%

Preț: 438^.69 lei
Preț: 440^.52 lei
20%

Preț: 336^.71 lei
20%

Preț: 148^.66 lei
20%

Preț: 310^.26 lei
20%

Preț: 256^.27 lei
20%

Preț: 632^.22 lei
17%

Preț: 427^.22 lei
20%

Preț: 641^.78 lei
20%

Preț: 307^.71 lei
20%

Preț: 1053^.45 lei
20%

Preț: 579^.56 lei
Preț: 373^.56 lei
20%

Preț: 330^.23 lei
15%

Preț: 429^.74 lei
20%

Preț: 607^.39 lei
20%

Preț: 538^.29 lei
Preț: 389^.48 lei
20%

Preț: 326^.98 lei
20%

Preț: 1386^.07 lei
20%

Preț: 1003^.66 lei
20%

Preț: 567^.60 lei
20%

Preț: 575^.48 lei
20%

Preț: 571^.63 lei
20%

Preț: 747^.79 lei
15%

Preț: 568^.74 lei
17%

Preț: 360^.19 lei
20%

Preț: 504^.57 lei
20%

Preț: 172^.69 lei
20%

Preț: 369^.12 lei
20%

Preț: 346^.40 lei
20%

Preț: 574^.05 lei
Preț: 402^.62 lei
20%

Preț: 584^.40 lei
20%

Preț: 747^.79 lei
20%

Preț: 809^.19 lei
20%

Preț: 649^.49 lei
20%

Preț: 343^.16 lei
20%

Preț: 309^.90 lei
20%

Preț: 122^.89 lei

Specificații

ISBN-13: 9783662442012
ISBN-10: 3662442019
Pagini: 724
Ilustrații: XXVI, 698 p. 195 illus.
Dimensiuni: 155 x 235 x 38 mm
Greutate: 1 kg
Ediția:2014
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

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.