A minimalistic look at widening operators
type: Item
instance of: scholarly article
title: A minimalistic look at widening operators
zbMATH Open document ID: 1183.68200
author: David Monniaux
published in: Higher-Order and Symbolic Computation
publication date: 2010-03-05T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5677843
zbMATH Keywords: abstract interpretation
zbMATH Keywords: widening
zbMATH Keywords: termination
zbMATH Keywords: abstraction
zbMATH Keywords: well-founded tree
zbMATH Keywords: higher order
zbMATH Keywords: inductive definition
zbMATH Keywords: Coq
describes a project that uses: ASTREE
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: s10990-009-9046-8
OpenAlex ID: W2059573554
cites work: Static Analysis
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Q4414726
cites work: Computer Aided Verification
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Abstract Interpretation Frameworks
cites work: Precise Fixpoint Computation Through Strategy Iteration
cites work: Optimal Abstraction on Real-Valued Programs
cites work: Automatic modular abstractions for linear constraints
DOI: 10.1007/S10990-009-9046-8
description: scientific article; zbMATH DE number 5677843