Coverart for item
The Resource ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings, Theo D'Hondt (ed.)

ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings, Theo D'Hondt (ed.)

Label
ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings
Title
ECOOP 2010 - object-oriented programming
Title remainder
24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings
Statement of responsibility
Theo D'Hondt (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Dewey number
005.1/17
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.E26 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
ECOOP (Conference)
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 76.64
http://library.link/vocab/relatedWorkOrContributorName
D'Hondt, Theo
Series statement
Lecture notes in computer science,
Series volume
6183
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Programming Languages
  • Informatique
  • Object-oriented programming (Computer science)
Summary expansion
This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences
Label
ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings, Theo D'Hondt (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
654399935
Dimensions
unknown
Extent
1 online resource (xiii, 598 pages)
Form of item
online
Isbn
9783642141072
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14107-2
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-14106-5
Specific material designation
remote
System control number
(OCoLC)654399935
Label
ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings, Theo D'Hondt (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
654399935
Dimensions
unknown
Extent
1 online resource (xiii, 598 pages)
Form of item
online
Isbn
9783642141072
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14107-2
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-14106-5
Specific material designation
remote
System control number
(OCoLC)654399935

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...