↓ 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 5: Automated Temporal Verification for Algebraic Effects
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Automated Temporal Verification for Algebraic Effects
Chapter number 5
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-21037-2_5
Book ISBNs
978-3-03-121036-5, 978-3-03-121037-2
Authors

Song, Yahui, Foo, Darius, Chin, Wei-Ngan

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

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.