Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
Other Versions
This publication has 11 references indexed in Scilit:
- Static Analysis of Digital FiltersLecture Notes in Computer Science, 2004
- Robustness analysis of avionics embedded systemsPublished by Association for Computing Machinery (ACM) ,2003
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwarePublished by Springer Science and Business Media LLC ,2002
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryLecture Notes in Computer Science, 2002
- Static Analysis of the Numerical Stability of LoopsLecture Notes in Computer Science, 2002
- Static Analyses of the Precision of Floating-Point OperationsLecture Notes in Computer Science, 2001
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973