D'Hondt ECOOP 2010 -- Object-Oriented Programming

24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-14107-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 6183, 599 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

D'Hondt, Theo

Inhaltsverzeichnis

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.