↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Substructural Proofs as Automata
  3. Altmetric Badge
    Chapter 2 Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
  4. Altmetric Badge
    Chapter 3 AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
  5. Altmetric Badge
    Chapter 4 Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
  6. Altmetric Badge
    Chapter 5 SPEC: An Equivalence Checker for Security Protocols
  7. Altmetric Badge
    Chapter 6 Binary Session Types for Psi-Calculi
  8. Altmetric Badge
    Chapter 7 Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
  9. Altmetric Badge
    Chapter 8 AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications
  10. Altmetric Badge
    Chapter 9 A Debugger-Cooperative Higher-Order Contract System in Python
  11. Altmetric Badge
    Chapter 10 A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc
  12. Altmetric Badge
    Chapter 11 A Realizability Interpretation for Intersection and Union Types
  13. Altmetric Badge
    Chapter 12 Open Call-by-Value
  14. Altmetric Badge
    Chapter 13 Implementing Cantor’s Paradise
  15. Altmetric Badge
    Chapter 14 Unified Syntax with Iso-types
  16. Altmetric Badge
    Chapter 15 Refined Environment Classifiers
  17. Altmetric Badge
    Chapter 16 Higher-Order Model Checking in Direct Style
  18. Altmetric Badge
    Chapter 17 Verifying Concurrent Graph Algorithms
  19. Altmetric Badge
    Chapter 18 Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
  20. Altmetric Badge
    Chapter 19 Probabilistic Programming Language and its Incremental Evaluation
  21. Altmetric Badge
    Chapter 20 Eliom: A Core ML Language for Tierless Web Programming
  22. Altmetric Badge
    Chapter 21 DOM: Specification and Client Reasoning
  23. Altmetric Badge
    Chapter 22 Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
  24. Altmetric Badge
    Chapter 23 Completeness for a First-Order Abstract Separation Logic
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age
  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
4 X users

Readers on

mendeley
13 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
Programming Languages and Systems
Published by
Lecture notes in computer science, January 2016
DOI 10.1007/978-3-319-47958-3
ISBNs
978-3-31-947957-6, 978-3-31-947958-3
Editors

Atsushi Igarashi

X Demographics

X Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 13 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 15%
Librarian 1 8%
Unknown 10 77%
Readers by discipline Count As %
Computer Science 2 15%
Engineering 1 8%
Unknown 10 77%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 2. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 01 May 2018.
All research outputs
#13,551,243
of 22,971,207 outputs
Outputs from Lecture notes in computer science
#4,013
of 8,141 outputs
Outputs of similar age
#190,807
of 394,385 outputs
Outputs of similar age from Lecture notes in computer science
#330
of 582 outputs
Altmetric has tracked 22,971,207 research outputs across all sources so far. This one is in the 39th percentile – i.e., 39% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,141 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 49th percentile – i.e., 49% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 394,385 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 50% of its contemporaries.
We're also able to compare this research output to 582 others from the same source and published within six weeks on either side of this one. This one is in the 41st percentile – i.e., 41% of its contemporaries scored the same or lower than it.