Frama-C
  • Features
  • Documentation
  • Publications
  • Blog
  • Jobs
  • Contact
  • Download
Blog home
← More on the precise analysis of C programs for FLT_EVAL_METHOD==2 From Pascal strings to Python tuples →

The word “binade” now has its Wikipedia page…

Pascal Cuoq - 19th Jul 2013

… but that's only because I created it.

If you are more familiar than me with Wikipedia etiquette feel free to adjust edit or delete this page. Also although a Wikipedia account is necessary to create a page I think it is not required for editing so you can add to the story too (but if you do not have an account you are perhaps no more familiar than me with Wikipedia etiquette).

Pascal Cuoq
19th Jul 2013

← More on the precise analysis of C programs for FLT_EVAL_METHOD==2 From Pascal strings to Python tuples →

Tags

floating-point link skein value ACSL Jessie derived-analysis unspecified-behavior CIL OCaml rant memcpy value-builtins conversions-and-promotions icpc2011 csmith position donut facetious-colleagues slicing CompCert big-round-numbers trail nitrogen 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 formal-spec MetAcsl RPP Aoraï Typestates abstract-debugging
Copyright © 2007-2026 Frama-C. All Rights Reserved.
  • Terms Of Use
  • Authors
  • Acknowledgements