Cantitate/Preț
Produs
Total produse
Vezi coșul
ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings de Theo D'Hondt

ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6183

Editat de Theo D'Hondt
en Limba Engleză Paperback – 17 iun 2010

Dacă volumele anterioare din seria Lecture Notes in Computer Science se concentrau pe arhitecturi generale, ECOOP 2010 -- Object-Oriented Programming, editat de Theo D'Hondt, aduce o rigoare sporită în zona fundamentelor teoretice și a verificării formale. Ne-a atras atenția modul în care această ediție face tranziția de la simpla implementare de obiecte la analiza profundă a siguranței tipurilor și a modelelor de concurență, elemente esențiale în dezvoltarea software-ului modern.

Structura volumului reflectă o progresie logică, de la instrumente de debug și medii de programare, către nucleul teoretic al limbajelor. Apreciem în mod deosebit secțiunea dedicată metodelor formale, unde sunt prezentate soluții pentru verificarea genericelor și a delegărilor, precum și utilizarea logicii de separare pentru specificații orientate-obiect. Un alt punct forte este capitolul dedicat concurenței în Java, care explorează refactorizarea corectă a codului concurent și generalizarea obiectelor active în componente concurente prin proiectul JCoBox.

Merită menționat că acest volum nu se limitează la teorie pură; secțiunea de metode empirice oferă o perspectivă critică asupra impactului sistemelor de tipuri statice în proiectele dezvoltate de un singur programator. Această abordare bazată pe date completează analizele tehnice despre JavaScript sau C#, oferind o imagine de ansamblu asupra stadiului cercetării în ingineria software la momentul publicării. Este o resursă tehnică densă, publicată de Springer, care documentează soluții pentru probleme complexe de sincronizare și design de limbaj.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 63844 lei

Preț vechi: 79805 lei
-20%

Puncte Express: 958

Carte disponibilă

Livrare economică 21 mai-04 iunie

 Adaugă în coș

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

Specificații

ISBN-13: 9783642141065
ISBN-10: 3642141064
Pagini: 616
Ilustrații: XIII, 599 p. 196 illus.
Dimensiuni: 12 x 92 x 32 mm
Greutate: 0.93 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm acest volum profesioniștilor și cercetătorilor care doresc să înțeleagă fundamentele matematice și empirice ale programării orientate-obiect. Cititorul câștigă acces la studii riguroase despre sistemele de tipuri și modelele de concurență, fiind o lectură esențială pentru cei care proiectează limbaje de programare sau instrumente avansate de analiză statică a codului.

Cuprins

Keynote 1.- Code Roots.- Programming Environments and Tools.- Detecting Missing Method Calls in Object-Oriented Software.- Debugging Model-Transformation Failures Using Dynamic Tainting.- Automatically Extracting Class Diagrams from Spreadsheets.- Theoretical Foundations of Programming Languages.- Adding Dynamic Types to C .- Essential AOP: The A Calculus.- The Essence of JavaScript.- Formal Methods.- Verifying Executable Object-Oriented Specifications with Separation Logic.- Verifying Generics and Delegates.- Recency Types for Analyzing Scripting Languages.- Concurrency Models in Java.- Correct Refactoring of Concurrent Java Code.- Programming Coordinated Behavior in Java.- JCoBox: Generalizing Active Objects to Concurrent Components.- Special Session: Empirical Methods.- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study.- Type Systems.- A Type System for Data-Centric Synchronization.- Type-Safe Eventful Sessions in Java.- Capabilities for Uniqueness and Borrowing.- Keynote 2.- Secret Valley.- Language Design and Implementation.- Embedding Languages without Breaking Tools.- Modules as Objects in Newspeak.- Inline Caching Meets Quickening.- Concurrency Abstractions.- Self-Replicating Objects for Multicore Platforms.- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.- Concurrent Abstract Predicates.- Experiences.- The Use of Overloading in Java Programs.- Falling Back on Executable Specifications.- Contract-Based Data Structure Repair Using Alloy.

Descriere

This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences.