Journal
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Volume 30, Issue 3, Pages -Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/1353445.1353446
Keywords
languages; verification; abstract interpretation; static analysis; program testing; verification; floating point; embedded software; safety-critical software; x87; IA32; AMD64; PowerPC; FPU; rounding; IEEE-754
Categories
Ask authors/readers for more resources
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change according to many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions for implementing in analysis software.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available
Share Paper
