Taking architecture and compiler into account in formal proofs of numerical programs

Taking architecture and compiler into account in formal proofs of numerical programs

Show other versions (1)

On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesi...

Full description

Bibliographic Details
Main Author: Nguyen, Thi Minh Tuyen
Language:English
Published: Université Paris Sud - Paris XI 2012
Subjects:
[INFO:INFO_OH] Computer Science/Other
[INFO:INFO_OH] Informatique/Autre
Floating-point arithmetic
Numerical programs
Static analysis
Compile-time optimizations
The Why platform
The Frama-C platform
Online Access:http://tel.archives-ouvertes.fr/tel-00710193
http://tel.archives-ouvertes.fr/docs/00/71/01/93/PDF/VD2_NGUYEN_Thi-Minh-Tuyen_11062012.pdf

Similar Items

Similar Items