A Quest for Exactness: Program Transformation for Reliable Real Numbers

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Cette thèse présente un algorithme qui élimine les racines carrées et les divi- sions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'...

Full description

Bibliographic Details
Main Author: Neron, Pierre
Language:ENG
Published: Ecole Polytechnique X 2013
Subjects:
[INFO:INFO_PL] Computer Science/Programming Languages
[INFO:INFO_PL] Informatique/Langage de programmation
[INFO:INFO_LO] Computer Science/Logic in Computer Science
[INFO:INFO_LO] Informatique/Logique en informatique
[INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory
[INFO:INFO_FL] Informatique/Théorie et langage formel
Program Transformation
Real Number arithmetic
Anti-unification
Semantics of Programming Languages
Proof Assistant
Embedded Systems
Quantifier Elimination
Online Access:http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Similar Items