|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483571003321 |
|
|
Titolo |
ECOOP 2010-object-oriented programming : 24th European conference, Maribor, Slovenia, June 21-25, 2010 : proceedings / / [edited by] Theo D'Hondt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Springer, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-280-38767-X |
9786613565594 |
3-642-14107-2 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 599 p. 196 illus.) |
|
|
|
|
|
|
Collana |
|
LNCS sublibrary. SL 2, Programming and software engineering |
Lecture notes in computer science, , 0302-9743 ; ; 6183 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Object-oriented programming (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 -- |
|
|
|
|