A minimalistic look at widening operators

DOI10.1007/S10990-009-9046-8zbMATH Open1183.68200OpenAlexW2059573554MaRDI QIDQ848744FDOQ848744

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

• Widening and narrowing operators for abstract interpretation
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 2090855
• Abstract Interpretation Frameworks

zbMATH Keywords

abstract interpretationabstractionhigher orderCoqterminationwell-founded treeinductive definitionwidening

Mathematics Subject Classification ID

Theory of software (68N99)

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 (5)

• Mathematical programming: Turing completeness and applications to software analysis
• Widening for Control-Flow
• Static Analysis
• Compiler Construction
• Stratified Static Analysis Based on Variable Dependencies

Uses Software

• Coq
• ASTREE

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)