Elimination des racines et divisions pour du code embarqué - Inria - Institut national de recherche en sciences et technologies du numérique
Poster Année : 2013

Elimination des racines et divisions pour du code embarqué

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
Vignette du fichier
poster.pdf (270.04 Ko) Télécharger le fichier
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

Télécharger pour visualiser

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
133 Consultations
45 Téléchargements

Partager

More