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
LEADER 02061nmm a2200385 u 4500
001 EB000384777
003 EBX01000000000000000237829
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642141072 
100 1 |a D'Hondt, Theo  |e [editor] 
245 0 0 |a ECOOP 2010 -- Object-Oriented Programming  |h Elektronische Ressource  |b 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings  |c edited by Theo D'Hondt 
250 |a 1st ed. 2010 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010, 2010 
300 |a XIII, 599 p. 196 illus  |b online resource 
505 0 |a 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 - 
653 |a Computer Communication Networks 
653 |a Monoclonal antibodies 
653 |a Software engineering 
653 |a Computer science 
653 |a Antibodies 
653 |a Software Engineering/Programming and Operating Systems 
653 |a Logics and Meanings of Programs 
653 |a Computer Communication Networks 
653 |a Logic design 
653 |a Programming Languages, Compilers, Interpreters 
653 |a Software Engineering 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
856 |u https://doi.org/10.1007/978-3-642-14107-2?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1