↓ 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 An Algebraic Theory for Shared-State Concurrency
  3. Altmetric Badge
    Chapter 2 Decoupling the Ascending and Descending Phases in Abstract Interpretation
  4. Altmetric Badge
    Chapter 3 Inferring Region Types via an Abstract Notion of Environment Transformation
  5. Altmetric Badge
    Chapter 4 RHLE: Modular Deductive Verification of Relational $$\forall \exists $$ ∀ ∃ Properties
  6. Altmetric Badge
    Chapter 5 Automated Temporal Verification for Algebraic Effects
  7. Altmetric Badge
    Chapter 6 Model-Based Fault Classification for Automotive Software
  8. Altmetric Badge
    Chapter 7 Characterizing Functions Mappable over GADTs
  9. Altmetric Badge
    Chapter 8 Applicative Intersection Types
  10. Altmetric Badge
    Chapter 9 A Calculus with Recursive Types, Record Concatenation and Subtyping
  11. Altmetric Badge
    Chapter 10 Novice Type Error Diagnosis with Natural Language Models
Attention for Chapter 4: RHLE: Modular Deductive Verification of Relational $$\forall \exists $$ ∀ ∃ Properties
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X

This page is provided by Altmetric.