Articoli correlati a ECOOP 2013 -- Object-Oriented Programming: 27th European...

ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings: 7920 - Brossura

 
9783642390371: ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings: 7920

Sinossi

This 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Aspects, 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Seiten: 768...
Visualizza questo articolo

EUR 9,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642390395: ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Edizione in evidenza

ISBN 10:  3642390390 ISBN 13:  9783642390395
Casa editrice: Springer, 2013
Brossura

Risultati della ricerca per ECOOP 2013 -- Object-Oriented Programming: 27th European...

Foto dell'editore

Unbekannt
ISBN 10: 3642390374 ISBN 13: 9783642390371
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 768 | Sprache: Englisch | Produktart: Bücher. Codice articolo 23809831/12

Contatta il venditore

Compra usato

EUR 39,36
Convertire valuta
Spese di spedizione: EUR 9,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Castagna, Giuseppe
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Conference proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013Conference proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013This book constitutes the proceedings of the 27t. Codice articolo 5059174

Contatta il venditore

Compra nuovo

EUR 48,37
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Giuseppe Castagna
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This 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. 768 pp. Englisch. Codice articolo 9783642390371

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Giuseppe Castagna
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 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. Codice articolo 9783642390371

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Giuseppe Castagna
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -This 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 768 pp. Englisch. Codice articolo 9783642390371

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642390371_new

Contatta il venditore

Compra nuovo

EUR 59,90
Convertire valuta
Spese di spedizione: EUR 10,29
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Castagna, Giuseppe (EDT)
Editore: Springer, 2013
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19715397-n

Contatta il venditore

Compra nuovo

EUR 54,25
Convertire valuta
Spese di spedizione: EUR 17,02
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Castagna, Giuseppe (EDT)
Editore: Springer, 2013
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 19715397-n

Contatta il venditore

Compra nuovo

EUR 59,72
Convertire valuta
Spese di spedizione: EUR 17,17
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Castagna, Giuseppe
Editore: Springer 2013-06, 2013
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783642390371

Contatta il venditore

Compra nuovo

EUR 56,80
Convertire valuta
Spese di spedizione: EUR 22,88
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2013
ISBN 10: 3642390374 ISBN 13: 9783642390371
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 770. Codice articolo 2697861846

Contatta il venditore

Compra nuovo

EUR 84,62
Convertire valuta
Spese di spedizione: EUR 7,66
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro