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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: D'Hondt, Theo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6183
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer networks .
Immunospecificity.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
Adaptive Immunity.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares