Articles by Mathieu Hoyrup

Lire un programme ou l'exécuter : quelle différence ?

-- Mathieu Hoyrup (LORIA)

Que peut-on savoir d'une fonction si elle nous est présentée : - sous forme d'un programme calculant cette fonction, - sous forme d'une boîte noire permettant de connaître les valeurs de cette fonction sur toutes les entrées.

Disposer d'un programme donne au moins autant d'information qu'avoir accès ...