Programming Languages and Operational Semantics

Overview of attention for book

Cover of 'Programming Languages and Operational Semantics'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

About this Attention Score

Good Attention Score compared to outputs of the same age (78th percentile)

Mentioned by

wikipedia: 1 Wikipedia page

q&a: 1 Q&A thread

Citations

dimensions_citation: 9 Dimensions

Readers on

mendeley: 18 Mendeley

Summary Wikipedia Q&A Dimensions citations

So far, Dimensions has found 9 publications that cite this research output.

9

The most recent citing publications are shown below. View all 9 publications that cite this research output on Dimensions.

From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting

Book chapter (January 2023)

A Reversible Operational Semantics for Imperative Programming Languages

Book chapter (December 2020)

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems

Preprint in arXiv (February 2019)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.