Abstract: Floating-point arithmetic is widely used by software developers but is unsound, i.e., there is no guarantee on the accuracy obtained, which can be imperative in safety-critical applications.

Monica is a writer, artist, musician, and indie game developer, loving all things related to video games. She’s a woman with a bit of adoration for every game genre. From her first experience with ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

C++ creator Bjarne Stroustrup has defended the widely used programming language in response to a Biden administration report that calls on developers to use memory-safe languages and avoid using ...

Biden administration calls for developers to embrace memory-safe programing languages and move away from those that cause buffer overflows and other memory access vulnerabilities. US President Joe ...

Noah Lone's difficult journey to creating mushroomy platformer Smushi. When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

Abstract: In scientific computation, developers usually exploit the compiler to improve the performance of floating-point programs. However, many compiler optimizations might affect the floating-point ...