Refining abstract interpretations
type: Item
instance of: scholarly article
title: Refining abstract interpretations
zbMATH Open document ID: 1234.68258
author: Bhargav S. Gulavani
author: Supratik Chakraborty
author: Aditya V. Nori
author: Sriram K. Rajamani
published in: Information Processing Letters
publication date: 2012-03-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6016055
zbMATH Keywords: program correctness
zbMATH Keywords: abstract interpretation
zbMATH Keywords: interpolation
zbMATH Keywords: CEGAR
describes a project that uses: ARMC
describes a project that uses: Dagger
describes a project that uses: SLAM
MaRDI profile type: Publication
full work available at URL: j.ipl.2010.05.021
OpenAlex ID: W1974830258
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: Automatically Refining Abstract Interpretations
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Abstractions from proofs
cites work: Lazy abstraction
DOI: 10.1016/J.IPL.2010.05.021
Recommended article: Automatically Refining Abstract Interpretations
Recommended article: Making abstract interpretations complete
Recommended article: Reversing abstract interpretations
Recommended article: Comparison of abstract interpretations
Recommended article: Q4738461
Recommended article: Refinement by Interpretation in a General Setting
Recommended article: Automated Technology for Verification and Analysis
Recommended article: Abstraction Reconceived
Recommended article: Q3680241
Recommended article: Q5857678
description: scientific article; zbMATH DE number 6016055