Skip to Main content Skip to Navigation
Other publications

Que calcule cet algorithme ? : Lire un algorithme donne-t-il plus d’information sur ce qu’il calcule que de l’exécuter aveuglément ?

Mathieu Hoyrup 1 
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-01202984
Contributor : Mathieu Hoyrup Connect in order to contact the contributor
Submitted on : Tuesday, September 22, 2015 - 9:49:35 AM
Last modification on : Saturday, June 25, 2022 - 7:44:57 PM

Identifiers

  • HAL Id : hal-01202984, version 1

Collections

CNRS | INRIA | INRIA-MECSCI | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM

Citation

Mathieu Hoyrup. Que calcule cet algorithme ? : Lire un algorithme donne-t-il plus d’information sur ce qu’il calcule que de l’exécuter aveuglément ?. 2015. ⟨hal-01202984⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

181

 

Contact                    Legal Notice                    Personal Data