↓ 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 Proving that Programs Are Differentially Private
  3. Altmetric Badge
    Chapter 2 On Strings in Software Model Checking
  4. Altmetric Badge
    Chapter 3 Manifest Contracts with Intersection Types
  5. Altmetric Badge
    Chapter 4 A Dependently Typed Multi-stage Calculus
  6. Altmetric Badge
    Chapter 5 Existential Types for Relaxed Noninterference
  7. Altmetric Badge
    Chapter 6 Dissecting Widening: Separating Termination from Information
  8. Altmetric Badge
    Chapter 7 Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies
  9. Altmetric Badge
    Chapter 8 A Type-Based HFL Model Checking Algorithm
  10. Altmetric Badge
    Chapter 9 Factorization and Normalization, Essentially
  11. Altmetric Badge
    Chapter 10 Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
  12. Altmetric Badge
    Chapter 11 Recursion Schemes in Coq
  13. Altmetric Badge
    Chapter 12 Lightweight Functional Logic Meta-Programming
  14. Altmetric Badge
    Chapter 13 Mimalloc: Free List Sharding in Action
  15. Altmetric Badge
    Chapter 14 LiFtEr : Language to Encode Induction Heuristics for Isabelle/HOL
  16. Altmetric Badge
    Chapter 15 Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
  17. Altmetric Badge
    Chapter 16 Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
  18. Altmetric Badge
    Chapter 17 TxForest: A DSL for Concurrent Filestores
  19. Altmetric Badge
    Chapter 18 J-ReCoVer: Java Reducer Commutativity Verifier
  20. Altmetric Badge
    Chapter 19 Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
  21. Altmetric Badge
    Chapter 20 Uniform Random Process Model Revisited
  22. Altmetric Badge
    Chapter 21 Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning
  23. Altmetric Badge
    Chapter 22 Pumping, with or Without Choice
  24. Altmetric Badge
    Chapter 23 Simulations in Rank-Based Büchi Automata Complementation
  25. Altmetric Badge
    Chapter 24 Succinct Determinisation of Counting Automata via Sphere Construction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 tweeters
wikipedia
1 Wikipedia page
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, December 2019
DOI 10.1007/978-3-030-34175-6
ISBNs
978-3-03-034174-9, 978-3-03-034175-6
Editors

Lin, Anthony Widjaja

Twitter Demographics

The data shown below were collected from the profiles of 3 tweeters who shared this research output. Click here to find out more about how the information was compiled.