↓ 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
Attention for Chapter 4: Combining Form and Function: Static Types for JQuery Programs
Altmetric Badge

Readers on

mendeley
29 Mendeley
citeulike
1 CiteULike
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
Combining Form and Function: Static Types for JQuery Programs
Chapter number 4
Book title
ECOOP 2013 – Object-Oriented Programming
Published by
Springer, Berlin, Heidelberg, July 2013
DOI 10.1007/978-3-642-39038-8_4
Book ISBNs
978-3-64-239037-1, 978-3-64-239038-8
Authors

Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi, Lerner, Benjamin S., Elberty, Liam, Li, Jincheng, Krishnamurthi, Shriram

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 3%
Korea, Republic of 1 3%
Brazil 1 3%
Unknown 26 90%

Demographic breakdown

Readers by professional status Count As %
Student > Master 8 28%
Student > Ph. D. Student 4 14%
Student > Bachelor 3 10%
Researcher 3 10%
Professor 2 7%
Other 6 21%
Unknown 3 10%
Readers by discipline Count As %
Computer Science 20 69%
Unspecified 1 3%
Mathematics 1 3%
Environmental Science 1 3%
Nursing and Health Professions 1 3%
Other 1 3%
Unknown 4 14%