Principles of Program Analysis

Overview of attention for book

Cover of 'Principles of Program Analysis'

Table of Contents

Attention for Chapter 5: Type and Effect Systems

Altmetric Badge

Citations

dimensions_citation: 859 Dimensions

Readers on

mendeley: 11 Mendeley
citeulike: 1 CiteULike

Summary Dimensions citations

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

859

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

Effective Bug Detection with Unused Definitions

Conference proceeding (April 2024)

Convergence of datalog over (Pre-) Semirings

Article in Journal of the ACM (April 2024)

A Modular Soundness Theory for the Blackboard Analysis Architecture

Book chapter (April 2024)

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

Click here to find out how to access more activity.