Strictfp

#	Item
1	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number
2	Analysis of “Proposal for Extension to Java Floating Point Semantics, Revision 1” Add to Reading List Source URL: www.sonic.net Language: English - Date: 2002-01-18 17:12:51 Java programming language Java platform Data types Strictfp Floating point Java X86 C Extended precision Computing Computer arithmetic Cross-platform software
3	Proposal for Extension of JavaTM Floating Point Semantics, Revision 1, May 1998 Introduction and Scope Add to Reading List Source URL: www.sonic.net Language: English - Date: 1999-04-02 00:50:06 Software engineering Computer programming Strictfp Floating point IEEE 754-2008 Rounding Single-precision floating-point format Primitive data type Double-precision floating-point format Computer arithmetic Computing Data types