↓ Skip to main content

ECOOP 2012 – Object-Oriented Programming

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 When Compilers Are Mirrors
  3. Altmetric Badge
    Chapter 2 Extensibility for the Masses
  4. Altmetric Badge
    Chapter 3 Extensions during Software Evolution: Do Objects Meet Their Promise?
  5. Altmetric Badge
    Chapter 4 PQL: A Purely-Declarative Java Extension for Parallel Programming
  6. Altmetric Badge
    Chapter 5 Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
  7. Altmetric Badge
    Chapter 6 Evaluating the Design of the R Language
  8. Altmetric Badge
    Chapter 7 McSAF: A Static Analysis Framework for MATLAB
  9. Altmetric Badge
    Chapter 8 Multiple Aggregate Entry Points for Ownership Types
  10. Altmetric Badge
    Chapter 9 Inference and Checking of Object Ownership
  11. Altmetric Badge
    Chapter 10 Object Initialization in X10
  12. Altmetric Badge
    Chapter 11 Structured Aliasing
  13. Altmetric Badge
    Chapter 12 Pause ’n’ Play: Formalizing Asynchronous C^\sharp
  14. Altmetric Badge
    Chapter 13 Lightweight Polymorphic Effects
  15. Altmetric Badge
    Chapter 14 Cloud Types for Eventual Consistency
  16. Altmetric Badge
    Chapter 15 Lock Inference in the Presence of Large Libraries
  17. Altmetric Badge
    Chapter 16 An Analysis of the Mozilla Jetpack Extension Framework
  18. Altmetric Badge
    Chapter 17 Smaller Footprint for Java Collections
  19. Altmetric Badge
    Chapter 18 Enhancing JavaScript with Transactions
  20. Altmetric Badge
    Chapter 19 JavaScript as an Embedded DSL
  21. Altmetric Badge
    Chapter 20 Correlation Tracking for Points-To Analysis of JavaScript
  22. Altmetric Badge
    Chapter 21 Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
  23. Altmetric Badge
    Chapter 22 Static Sessional Dataflow
  24. Altmetric Badge
    Chapter 23 Java Wildcards Meet Definition-Site Variance
  25. Altmetric Badge
    Chapter 24 Constraint-Based Refactoring with Foresight
  26. Altmetric Badge
    Chapter 25 Magda: A New Language for Modularity
  27. Altmetric Badge
    Chapter 26 Marco: Safe, Expressive Macros for Any Language
  28. Altmetric Badge
    Chapter 27 Practical Permissions for Race-Free Parallelism
  29. Altmetric Badge
    Chapter 28 Verification of Snapshot Isolation in Transactional Memory Java Programs
  30. Altmetric Badge
    Chapter 29 Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
  31. Altmetric Badge
    Chapter 30 Application-Only Call Graph Construction
  32. Altmetric Badge
    Chapter 31 Program Sliding
  33. Altmetric Badge
    Chapter 32 Static Detection of Loop-Invariant Data Structures
Attention for Chapter 15: Lock Inference in the Presence of Large Libraries
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
22 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.
Chapter title
Lock Inference in the Presence of Large Libraries
Chapter number 15
Book title
ECOOP 2012 – Object-Oriented Programming
Published in
Lecture notes in computer science, June 2012
DOI 10.1007/978-3-642-31057-7_15
Book ISBNs
978-3-64-231056-0, 978-3-64-231057-7
Authors

Khilan Gudka, Tim Harris, Susan Eisenbach

Editors

James Noble

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 22 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 5%
Canada 1 5%
Unknown 20 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 50%
Student > Master 6 27%
Researcher 2 9%
Other 1 5%
Professor > Associate Professor 1 5%
Other 0 0%
Unknown 1 5%
Readers by discipline Count As %
Computer Science 20 91%
Psychology 1 5%
Unknown 1 5%