DHondt, Theo. <br/><br/>
ECOOP 2010  Object-Oriented Programming  24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings /  [electronic resource] : 
edited by Theo DHondt. 
 - XIII, 599p. 196 illus.  online resource. 
 - Lecture Notes in Computer Science,  6183  0302-9743 ; .
 - Lecture Notes in Computer Science,  6183 .
<br/><br/>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. 
<br/><br/>ZDB-2-SCS ZDB-2-LNC 
<br/><br/><label>ISBN: </label>9783642141072 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-14107-2  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Monoclonal antibodies.<br/>Computer Communication Networks.<br/>Software engineering.<br/>Logic design.<br/>Computer Science.<br/>Software Engineering.<br/>Logics and Meanings of Programs.<br/>Programming Languages, Compilers, Interpreters.<br/>Computer Communication Networks.<br/>Antibodies.<br/>Software Engineering/Programming and Operating Systems.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1