↓ Skip to main content
What is this page? Embed badge

Programming Languages and Systems

Overview of attention for book
Programming Languages and Systems
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
  3. Altmetric Badge
    Chapter 21 Concurrent NetKAT
Attention for Chapter: The Trusted Computing Base of the CompCert Verified Compiler
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (51st percentile)
  • Good Attention Score compared to outputs of the same age and source (74th percentile)

Mentioned by

twitter
3 X users
reddit
1 Redditor
Summary X Reddit
So far, Altmetric has seen 1 Reddit thread.

This page shows the most recent Reddit threads that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.