04834nam 22007815 450 99646585120331620200703032637.01-280-38767-X97866135655943-642-14107-210.1007/978-3-642-14107-2(CKB)2670000000028940(SSID)ssj0000446432(PQKBManifestationID)11327273(PQKBTitleCode)TC0000446432(PQKBWorkID)10497022(PQKB)10191148(DE-He213)978-3-642-14107-2(MiAaPQ)EBC3065476(PPN)149064314(Association for Computing Machinery)10.5555/1883978(EXLCZ)99267000000002894020100629d2010 u| 0engurnn|008mamaatxtccrECOOP 2010 -- Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /edited by Theo D'Hondt1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XIII, 599 p. 196 illus.) Programming and Software Engineering ;6183Bibliographic Level Mode of Issuance: Monograph3-642-14106-4 Includes bibliographical references and index.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.Programming and Software Engineering ;6183ECOOP'10Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsAntibodiesSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Antibodieshttps://scigraph.springernature.com/ontologies/product-market-codes/B14010Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Antibodies.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Antibodies.Software Engineering/Programming and Operating Systems.005.1/17D'Hondt Theoedthttp://id.loc.gov/vocabulary/relators/edtECOOP 2010BOOK996465851203316ECOOP 2010 -- Object-Oriented Programming2551537UNISA