↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
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
Springer International Publishing, November 2021
DOI 10.1007/978-3-030-89051-3
ISBNs
978-3-03-089050-6, 978-3-03-089051-3
Editors

Oh, Hakjoo

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.

This page is provided by Altmetric.