↓ 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
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.
Chapter title
RHLE: Modular Deductive Verification of Relational $$\forall \exists $$ ∀ ∃ Properties
Chapter number 4
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-21037-2_4
Book ISBNs
978-3-03-121036-5, 978-3-03-121037-2
Authors

Dickerson, Robert, Ye, Qianchuan, Zhang, Michael K., Delaware, Benjamin

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 profiles of 2 X users 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.