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