1 option
ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / edited by Theo D'Hondt.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 6183.
- Programming and Software Engineering ; 6183
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer logic.
- Programming languages (Electronic computers).
- Computer networks.
- Immunoglobulins.
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Computer Communication Networks.
- Antibodies.
- Software Engineering/Programming and Operating Systems.
- Local Subjects:
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Computer Communication Networks.
- Antibodies.
- Software Engineering/Programming and Operating Systems.
- Physical Description:
- 1 online resource (XIII, 599 pages) : 196 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-14107-2
- 9783642141072
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.