ECOOP 2010-object-oriented programming 24th European conference, Maribor, Slovenia, June 21-25, 2010 : proceedings
| Main Author: | |
|---|---|
| Corporate Authors: | , |
| Other Authors: | |
| Format: | eBook |
| Language: | Inglés |
| Published: |
New York :
Springer
2010.
|
| Edition: | 1st ed |
| Series: | Lecture notes in computer science.
LNCS sublibrary. Programming and software engineering. |
| Subjects: | |
| See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713761406719 |
Table of Contents:
- 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.
