↓ Skip to main content

ECOOP 2013 – Object-Oriented Programming

Overview of attention for book
Cover of 'ECOOP 2013 – Object-Oriented Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 CoCo: Sound and Adaptive Replacement of Java Collections
  3. Altmetric Badge
    Chapter 2 Feature-Oriented Programming with Object Algebras
  4. Altmetric Badge
    Chapter 3 Composition and Reuse with Compiled Domain-Specific Languages
  5. Altmetric Badge
    Chapter 4 Combining Form and Function: Static Types for JQuery Programs
  6. Altmetric Badge
    Chapter 5 Heap Decomposition Inference with Linear Programming
  7. Altmetric Badge
    Chapter 6 A Formal Semantics for Isorecursive and Equirecursive State Abstractions
  8. Altmetric Badge
    Chapter 7 Trustworthy Proxies
  9. Altmetric Badge
    Chapter 8 Java UI : Effects for Controlling UI Object Access
  10. Altmetric Badge
    Chapter 9 The Billion-Dollar Fix
  11. Altmetric Badge
    Chapter 10 Implementing Federated Object Systems
  12. Altmetric Badge
    Chapter 11 RedCard: Redundant Check Elimination for Dynamic Race Detectors
  13. Altmetric Badge
    Chapter 12 ECOOP 2013 – Object-Oriented Programming
  14. Altmetric Badge
    Chapter 13 Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
  15. Altmetric Badge
    Chapter 14 Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
  16. Altmetric Badge
    Chapter 15 Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
  17. Altmetric Badge
    Chapter 16 Averroes : Whole-Program Analysis without the Whole Program
  18. Altmetric Badge
    Chapter 17 QUIC Graphs: Relational Invariant Generation for Containers
  19. Altmetric Badge
    Chapter 18 Reducing Lookups for Invariant Checking
  20. Altmetric Badge
    Chapter 19 Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
  21. Altmetric Badge
    Chapter 20 Really Automatic Scalable Object-Oriented Reengineering
  22. Altmetric Badge
    Chapter 21 Detecting Refactored Clones
  23. Altmetric Badge
    Chapter 22 A Compositional Paradigm of Automating Refactorings
  24. Altmetric Badge
    Chapter 23 A Comparative Study of Manual and Automated Refactorings
  25. Altmetric Badge
    Chapter 24 What Programmers Do with Inheritance in Java
  26. Altmetric Badge
    Chapter 25 Is This a Bug or an Obsolete Test?
  27. Altmetric Badge
    Chapter 26 Systematic Testing of Refactoring Engines on Real Software Projects
  28. Altmetric Badge
    Chapter 27 Simple Profile Rectifications Go a Long Way
  29. Altmetric Badge
    Chapter 28 The Shape of Things to Run
  30. Altmetric Badge
    Chapter 29 Higher-Order Reactive Programming with Incremental Lists
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
2 Wikipedia pages

Readers on

mendeley
98 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
ECOOP 2013 – Object-Oriented Programming
Published by
Springer Berlin Heidelberg, June 2013
DOI 10.1007/978-3-642-39038-8
ISBNs
978-3-64-239037-1, 978-3-64-239038-8
Editors

Castagna, Giuseppe

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.