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 <>
Submitted on : Tuesday, September 22, 2015 - 9:49:35 AM
Last modification on : Thursday, July 22, 2021 - 3:10:03 PM

Identifiers

  • HAL Id : hal-01202984, version 1

Collections

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

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

Share

Metrics

Record views

337

 

Contact                    Legal Notice                    Personal Data