000 04755nam a22005415i 4500
001 978-3-642-39038-8
003 DE-He213
005 20160624102229.0
007 cr nn 008mamaa
008 130626s2013 gw | s |||| 0|eng d
020 _a9783642390388
_9978-3-642-39038-8
024 7 _a10.1007/978-3-642-39038-8
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
245 1 0 _aECOOP 2013 – Object-Oriented Programming
_h[electronic resource] :
_b27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
_cedited by Giuseppe Castagna.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXXII, 746 p. 206 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7920
505 0 _aAspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition Inference with Linear Programming -- A Formal Semantics for Isorecursive and Equirecursive State Abstractions -- Language Design -- Trustworthy Proxies: Virtualizing Objects with Invariants -- JavaUI: Effects for Controlling UI Object Access -- The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems -- RedCard: Redundant Check Elimination for Dynamic Race Detectors -- Ownership-Based Isolation for Concurrent Actors on Multi-core Machines -- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? -- Analysis and Verification -- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs: Relational Invariant Generation for Containers -- Reducing Lookups for Invariant Checking -- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling and Refactoring -- Really Automatic Scalable Object-Oriented Reengineering -- Detecting Refactored Clones -- A Compositional Paradigm of Automating Refactorings -- A Comparative Study of Manual and Automated Refactorings -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug or an Obsolete Test? -- Systematic Testing of Refactoring Engines on Real Software Projects -- Implementation -- Simple Profile Rectifications Go a Long Way: Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations -- The Shape of Things to Run: Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime -- Higher-Order Reactive Programming with Incremental Lists.
520 _aThis book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aComputer Communication Networks.
700 1 _aCastagna, Giuseppe.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642390371
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7920
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-39038-8
942 _2EBK10909
_cEBK
999 _c40203
_d40203