Frama-C
  • Features
  • Documentation
  • Publications
  • Blog
  • Jobs
  • Contact
  • Download
Blog home
← Using the Rte and value analysis plug-ins to detect overflows Function realloc() is broken - Not →

Float vs real

Pascal Cuoq - 9th Feb 2012

For some reason, uses of real to denote fixed-precision floating-point numbers (in languages such as FORTRAN) irritate me, but uses of integer or int to denote bounded integers do not. One notation isn't more accurate than the other, though.

Does anyone have an idea why that might be?

Pascal Cuoq
9th Feb 2012

← Using the Rte and value analysis plug-ins to detect overflows Function realloc() is broken - Not →

Tags

floating-point rant skein value ACSL Jessie derived-analysis unspecified-behavior CIL OCaml memcpy value-builtins conversions-and-promotions icpc2011 csmith position donut facetious-colleagues slicing CompCert big-round-numbers trail nitrogen link benchmarks rte obviously-terminates cybersecurity linking type-checking developer visitor restrict undefined-behavior rers2012 cfg WP c11 c99 anonymous-arrays zlib metrics collaboration FLT_EVAL_METHOD function-pointers c-reduce Eva gui tutorial open-source-case-studies scripts usability windows-cygwin-wsl docker github ci test Ivette GUI event machdep parsing
Copyright © 2007-2025 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
  • Acknowledgements