ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: D’Hondt, Theo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6183
• Θέματα: Computer science.; Antibodies.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.

Πίνακας περιεχομένων:

• 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.