Elimination des racines et divisions pour du code embarqué

Pierre Neron

Poster Année : 2013

Elimination des racines et divisions pour du code embarqué

(1)

Pierre Neron

Fonction : Auteur
PersonId : 950497

Deduction modulo, interopérabilité et démonstration automatique

Résumé

Ce poster présente une transformation de programme qui élimine les divisions et les racines carrées dans des programmes sans boucles. Cette élimination permet de calculer ensuite exactement avec les opérations restantes

Domaines

Langage de programmation [cs.PL]

Fichier principal

poster.pdf (270.04 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Pierre Neron : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00924394

Soumis le : lundi 6 janvier 2014-17:07:38

Dernière modification le : vendredi 21 janvier 2022-03:15:41

Archivage à long terme le : jeudi 10 avril 2014-17:30:12

Dates et versions

hal-00924394 , version 1 (06-01-2014)

Identifiants

HAL Id : hal-00924394 , version 1

Citer

Pierre Neron. Elimination des racines et divisions pour du code embarqué. Journées du GDR-GPL, Apr 2013, Nancy, France. ⟨hal-00924394⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2

127 Consultations

43 Téléchargements

Elimination des racines et divisions pour du code embarqué

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager