<--- Back to Details
First PageDocument Content
UML Partners / C99 / C++11 / IBM / C11 / C / Telelogic / Rational Software / Computing / C programming language / Software engineering
Date: 2015-01-23 13:45:18
UML Partners
C99
C++11
IBM
C11
C
Telelogic
Rational Software
Computing
C programming language
Software engineering

OctoberHitachi Presentation

Add to Reading List

Source URL: www.gsd.inesc-id.pt

Download Document from Source Website

File Size: 2,93 MB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / C / Procedural programming languages / Object-oriented programming languages / C11 / C99 / Errno.h / Fortran / Ada / ALGOL 68

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

Computer arithmetic / Computing / Mathematics / Computer architecture / Rounding / GNU MPFR / Double-precision floating-point format / IEEE floating point / Significant figures / Sine / C99 / Roundedness

Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

DocID: 1rccC - View Document

Software engineering / Software / Computing / C / Programming language implementation / Frama-C / Data types / Undefined behavior / Integer overflow / C99 / Exception handling / Unspecified behavior

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

DocID: 1qvDf - View Document

Software engineering / Computer programming / Computing / Cross-platform software / C / Object-oriented programming languages / Procedural programming languages / C99 / C++ / Floating point / XTR / De

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

DocID: 1q4Ol - View Document

Computer arithmetic / Rounding / GNU MPFR / IEEE floating point / Floating point / Double-precision floating-point format / Signed zero / Significant figures / C99 / GNU Multiple Precision Arithmetic Library / Multiplyaccumulate operation / Single-precision floating-point format

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

DocID: 1pCuG - View Document