{"product_id":"9783642141065","title":"ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science \/ Programming and Software Engineering 6183) (2010. XI, 599 S.)","description":"\u003cp\u003e§04§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 Event §04§ful 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. §04§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 §04§ 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.\u003c\/p\u003e","brand":"SPRINGER, BERLIN","offers":[{"title":"Default Title","offer_id":52360870789431,"sku":"00000_00000_00000_00000","price":595.92,"currency_code":"MYR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0962\/3548\/7543\/files\/9783642141065-1.jpg?v=1783272849","url":"https:\/\/kinokuniya.com.my\/products\/9783642141065","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}