Analyzing program analyses
type: Item
instance of: scholarly article
zbMATH Open document ID: 1345.68106
DOI: 10.1145/2676726.2676987
author: Roberto Giacobazzi
author: Francesco Logozzo
author: Francesco Ranzato
published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
publication date: 2016-09-29T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6631305
zbMATH Keywords: abstract domain
zbMATH Keywords: abstract interpretation
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2676726.2676987
OpenAlex ID: W2106647551
title: Analyzing program analyses
description: scientific article; zbMATH DE number 6631305