Borrow it
Coverart for item
The Resource ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings, Giuseppe Castagna (ed.)

ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings, Giuseppe Castagna (ed.)

Creator
Editor
Contributor
Summary
This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation
Language
eng
Work
Publication
Extent
1 online resource (xxi, 746 pages)
Note
International conference proceedings
Contents
  • Combining Form and Function: Static Types for JQuery Programs
  • Benjamin S. Lerner [and others]
  • Heap Decomposition Inference with Linear Programming
  • Haitao Steve Zhu, Yu David Liu
  • A Formal Semantics for Isorecursive and Equirecursive State Abstractions
  • Alexander J. Summers, Sophia Drossopoulou
  • Language Design.
  • Trustworthy Proxies
  • Tom Van Cutsem, Mark S. Miller
  • Java UI : Effects for Controlling UI Object Access
  • Aspects, Components, and Modularity.
  • Colin S. Gordon [and others]
  • The Billion-Dollar Fix
  • Marco Servetto [and others]
  • CoCo: Sound and Adaptive Replacement of Java Collections
  • Guoqing Xu
  • Feature-Oriented Programming with Object Algebras
  • Bruno C. d. S. Oliveira [and others]
  • Composition and Reuse with Compiled Domain-Specific Languages
  • Arvind K. Sujeeth [and others]
  • Types.
  • Samira Tasharofi, Peter Dinges, Ralph E. Johnson
  • Analysis and Verification 1.
  • Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
  • Kasper Svendsen, Lars Birkedal, Matthew Parkinson
  • Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
  • Danilo Ansaloni [and others]
  • Averroes: Whole-Program Analysis without the Whole Program
  • Karim Ali, Ondřej Lhoták
  • Analysis and Verification 2.
  • QUIC Graphs: Relational Invariant Generation for Containers
  • Concurrency, Parallelism, and Distribution.
  • Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
  • Reducing Lookups for Invariant Checking
  • Jakob G. Thomsen [and others]
  • Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
  • Stefan Heule [and others]
  • Implementing Federated Object Systems
  • Tobias Freudenreich [and others]
  • RedCard: Redundant Check Elimination for Dynamic Race Detectors
  • Cormac Flanagan, Stephen N. Freund
  • Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
  • Olivier Gruber, Fabienne Boyer
  • Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
  • Stas Negara [and others]
  • Testing, Profiling, and Empirical Studies.
  • What Programmers Do with Inheritance in Java
  • Ewan Tempero, Hong Yul Yang, James Noble
  • Is This a Bug or an Obsolete Test?
  • Dan Hao [and others]
  • Systematic Testing of Refactoring Engines on Real Software Projects
  • Milos Gligoric [and others]
  • Implementation.
  • Simple Profile Rectifications Go a Long Way
  • Modelling and Refactoring.
  • Bo Wu [and others]
  • The Shape of Things to Run
  • Josh Auerbach [and others]
  • Higher-Order Reactive Programming with Incremental Lists
  • Ingo Maier, Martin Odersky
  • Really Automatic Scalable Object-Oriented Reengineering
  • Marco Trudel [and others]
  • Detecting Refactored Clones
  • Mati Shomrat, Yishai A. Feldman
  • A Compositional Paradigm of Automating Refactorings
  • Mohsen Vakilian [and others]
  • A Comparative Study of Manual and Automated Refactorings
Isbn
9783642390388
Instance
Label
ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Title
ECOOP 2013-- Object-Oriented Programming
Title remainder
27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Statement of responsibility
Giuseppe Castagna (ed.)
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation
Member of
Cataloging source
GW5XE
Dewey number
005.1/17
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.E26 2013
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
ECOOP (Conference)
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 76.64
http://library.link/vocab/relatedWorkOrContributorDate
1966-
http://library.link/vocab/relatedWorkOrContributorName
Castagna, Giuseppe
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7920
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Software
  • Object-oriented programming (Computer science)
Label
ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings, Giuseppe Castagna (ed.)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author 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
  • Combining Form and Function: Static Types for JQuery Programs
  • Benjamin S. Lerner [and others]
  • Heap Decomposition Inference with Linear Programming
  • Haitao Steve Zhu, Yu David Liu
  • A Formal Semantics for Isorecursive and Equirecursive State Abstractions
  • Alexander J. Summers, Sophia Drossopoulou
  • Language Design.
  • Trustworthy Proxies
  • Tom Van Cutsem, Mark S. Miller
  • Java UI : Effects for Controlling UI Object Access
  • Aspects, Components, and Modularity.
  • Colin S. Gordon [and others]
  • The Billion-Dollar Fix
  • Marco Servetto [and others]
  • CoCo: Sound and Adaptive Replacement of Java Collections
  • Guoqing Xu
  • Feature-Oriented Programming with Object Algebras
  • Bruno C. d. S. Oliveira [and others]
  • Composition and Reuse with Compiled Domain-Specific Languages
  • Arvind K. Sujeeth [and others]
  • Types.
  • Samira Tasharofi, Peter Dinges, Ralph E. Johnson
  • Analysis and Verification 1.
  • Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
  • Kasper Svendsen, Lars Birkedal, Matthew Parkinson
  • Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
  • Danilo Ansaloni [and others]
  • Averroes: Whole-Program Analysis without the Whole Program
  • Karim Ali, Ondřej Lhoták
  • Analysis and Verification 2.
  • QUIC Graphs: Relational Invariant Generation for Containers
  • Concurrency, Parallelism, and Distribution.
  • Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
  • Reducing Lookups for Invariant Checking
  • Jakob G. Thomsen [and others]
  • Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
  • Stefan Heule [and others]
  • Implementing Federated Object Systems
  • Tobias Freudenreich [and others]
  • RedCard: Redundant Check Elimination for Dynamic Race Detectors
  • Cormac Flanagan, Stephen N. Freund
  • Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
  • Olivier Gruber, Fabienne Boyer
  • Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
  • Stas Negara [and others]
  • Testing, Profiling, and Empirical Studies.
  • What Programmers Do with Inheritance in Java
  • Ewan Tempero, Hong Yul Yang, James Noble
  • Is This a Bug or an Obsolete Test?
  • Dan Hao [and others]
  • Systematic Testing of Refactoring Engines on Real Software Projects
  • Milos Gligoric [and others]
  • Implementation.
  • Simple Profile Rectifications Go a Long Way
  • Modelling and Refactoring.
  • Bo Wu [and others]
  • The Shape of Things to Run
  • Josh Auerbach [and others]
  • Higher-Order Reactive Programming with Incremental Lists
  • Ingo Maier, Martin Odersky
  • Really Automatic Scalable Object-Oriented Reengineering
  • Marco Trudel [and others]
  • Detecting Refactored Clones
  • Mati Shomrat, Yishai A. Feldman
  • A Compositional Paradigm of Automating Refactorings
  • Mohsen Vakilian [and others]
  • A Comparative Study of Manual and Automated Refactorings
Control code
852401563
Dimensions
unknown
Extent
1 online resource (xxi, 746 pages)
File format
unknown
Form of item
online
Isbn
9783642390388
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-39038-8
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)852401563
Label
ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings, Giuseppe Castagna (ed.)
Publication
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author 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
  • Combining Form and Function: Static Types for JQuery Programs
  • Benjamin S. Lerner [and others]
  • Heap Decomposition Inference with Linear Programming
  • Haitao Steve Zhu, Yu David Liu
  • A Formal Semantics for Isorecursive and Equirecursive State Abstractions
  • Alexander J. Summers, Sophia Drossopoulou
  • Language Design.
  • Trustworthy Proxies
  • Tom Van Cutsem, Mark S. Miller
  • Java UI : Effects for Controlling UI Object Access
  • Aspects, Components, and Modularity.
  • Colin S. Gordon [and others]
  • The Billion-Dollar Fix
  • Marco Servetto [and others]
  • CoCo: Sound and Adaptive Replacement of Java Collections
  • Guoqing Xu
  • Feature-Oriented Programming with Object Algebras
  • Bruno C. d. S. Oliveira [and others]
  • Composition and Reuse with Compiled Domain-Specific Languages
  • Arvind K. Sujeeth [and others]
  • Types.
  • Samira Tasharofi, Peter Dinges, Ralph E. Johnson
  • Analysis and Verification 1.
  • Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
  • Kasper Svendsen, Lars Birkedal, Matthew Parkinson
  • Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
  • Danilo Ansaloni [and others]
  • Averroes: Whole-Program Analysis without the Whole Program
  • Karim Ali, Ondřej Lhoták
  • Analysis and Verification 2.
  • QUIC Graphs: Relational Invariant Generation for Containers
  • Concurrency, Parallelism, and Distribution.
  • Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
  • Reducing Lookups for Invariant Checking
  • Jakob G. Thomsen [and others]
  • Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
  • Stefan Heule [and others]
  • Implementing Federated Object Systems
  • Tobias Freudenreich [and others]
  • RedCard: Redundant Check Elimination for Dynamic Race Detectors
  • Cormac Flanagan, Stephen N. Freund
  • Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
  • Olivier Gruber, Fabienne Boyer
  • Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
  • Stas Negara [and others]
  • Testing, Profiling, and Empirical Studies.
  • What Programmers Do with Inheritance in Java
  • Ewan Tempero, Hong Yul Yang, James Noble
  • Is This a Bug or an Obsolete Test?
  • Dan Hao [and others]
  • Systematic Testing of Refactoring Engines on Real Software Projects
  • Milos Gligoric [and others]
  • Implementation.
  • Simple Profile Rectifications Go a Long Way
  • Modelling and Refactoring.
  • Bo Wu [and others]
  • The Shape of Things to Run
  • Josh Auerbach [and others]
  • Higher-Order Reactive Programming with Incremental Lists
  • Ingo Maier, Martin Odersky
  • Really Automatic Scalable Object-Oriented Reengineering
  • Marco Trudel [and others]
  • Detecting Refactored Clones
  • Mati Shomrat, Yishai A. Feldman
  • A Compositional Paradigm of Automating Refactorings
  • Mohsen Vakilian [and others]
  • A Comparative Study of Manual and Automated Refactorings
Control code
852401563
Dimensions
unknown
Extent
1 online resource (xxi, 746 pages)
File format
unknown
Form of item
online
Isbn
9783642390388
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-39038-8
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)852401563

Subject

Genre

Member of

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...