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

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 Scalable and Modular Robustness Analysis of Deep Neural Networks
  3. Altmetric Badge
    Chapter 2 Function Pointer Eliminator for C Programs
  4. Altmetric Badge
    Chapter 3 PyCT: A Python Concolic Tester
  5. Altmetric Badge
    Chapter 4 Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
  6. Altmetric Badge
    Chapter 5 Server-Side Computation of Package Dependencies in Package-Management Systems
  7. Altmetric Badge
    Chapter 6 Fully Abstract and Robust Compilation
  8. Altmetric Badge
    Chapter 7 A Dictionary-Passing Translation of Featherweight Go
  9. Altmetric Badge
    Chapter 8 Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus
  10. Altmetric Badge
    Chapter 9 A Compilation Method for Dynamic Typing in ML
  11. Altmetric Badge
    Chapter 10 The Choice Construct in the Soufflé Language
  12. Altmetric Badge
    Chapter 11 Latent Effects for Reusable Language Components
  13. Altmetric Badge
    Chapter 12 Adaptable Traces for Program Explanations
  14. Altmetric Badge
    Chapter 13 A Typed Programmatic Interface to Contracts on the Blockchain
  15. Altmetric Badge
    Chapter 14 Simplifying Alternating Automata for Emptiness Testing
  16. Altmetric Badge
    Chapter 15 Termination Analysis for the $$\pi $$ π -Calculus by Reduction to Sequential Program Termination
  17. Altmetric Badge
    Chapter 16 Proving LTL Properties of Bitvector Programs and Decompiled Binaries
  18. Altmetric Badge
    Chapter 17 Solving Not-Substring Constraint withFlat Abstraction
Attention for Chapter 4: Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.