A minimalistic look at widening operators
From MaRDI portal
Publication:848744
DOI10.1007/S10990-009-9046-8zbMATH Open1183.68200OpenAlexW2059573554MaRDI QIDQ848744FDOQ848744
Authors: David Monniaux 
Publication date: 5 March 2010
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-009-9046-8
Recommendations
abstract interpretationabstractionhigher orderCoqterminationwell-founded treeinductive definitionwidening
Cites Work
- Title not available (Why is that?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- Precise Fixpoint Computation Through Strategy Iteration
- Abstract Interpretation Frameworks
- Verification, Model Checking, and Abstract Interpretation
- Verification, Model Checking, and Abstract Interpretation
- Automatic modular abstractions for linear constraints
- Optimal Abstraction on Real-Valued Programs
- Static Analysis
Cited In (8)
- Mathematical programming: Turing completeness and applications to software analysis
- Stratified static analysis based on variable dependencies
- Widening for Control-Flow
- Widening and narrowing operators for abstract interpretation
- Enhancing top-down solving with widening and narrowing
- Static Analysis
- Compiler Construction
- Dissecting widening: separating termination from information
Uses Software
This page was built for publication: A minimalistic look at widening operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848744)
