The Arithmetic-Geometric Progression Abstract Domain

Publisher Website

1 January 2005

book chapter
Published by Springer Nature

p. 42-58
https://doi.org/10.1007/978-3-540-30579-8_3

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Static Analysis of Digital Filters
Published by Springer Nature ,2004
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
Published by Springer Nature ,2004
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
Published by Springer Nature ,2002
Abstract Interpretation Frameworks
Journal of Logic and Computation, 1992