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

Corporate Author: SpringerLink (Online service)
Other Authors: D'Hondt, Theo (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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 -