Site WWW de Laurent Bloch
Slogan du site

ISSN 2271-3905
Cliquez ici si vous voulez visiter mon autre site, orienté vers des sujets moins techniques.

Pour recevoir (au plus une fois par semaine) les nouveautés de ce site, indiquez ici votre adresse électronique :

Forum de l’article

Introduction aux machines virtuelles

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.

Lien hypertexte

(Si votre message se réfère à un article publié sur le Web, ou à une page fournissant plus d’informations, vous pouvez indiquer ci-après le titre de la page et son adresse.)

Rappel de la discussion
Introduction aux machines virtuelles
Laurent Bloch - le 6 mai 2013

Une lectrice m’interpelle : « Question, pourquoi la répétition n’est-elle pas mise dans le même sac que l’alternative ? »

L’alternative c’est :
Si p alors a sinon b

La répétition c’est :
tant que p faire a
ou :
faire 10 fois a

Il y a des façons impures de réaliser cela, du genre :

début : faire a
si p aller à suite sinon aller à début
suite : b

qui réalisent en effet la répétition au moyen de l’alternative et de "aller à", mais ce qui est remarquable dans le théorème de Böhm et Jacopini, c’est qu’il montre qu’on peut se passer de la primitive "aller à", dont Edsger Dijkstra a monté les effets néfastes dans son célèbre article "Go To Statement Considered Harmful" (http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html).

En fait, tous les langages machine procèdent de la façon impure avec des commandes "aller à", et de ce point de vue tu as raison, mais avec des langages de plus haut niveau on peut s’en passer, et la plupart des étudiants des générations récentes n’ont jamais utilisé la construction avec "aller à", qui était notre pain quotidien dans ma jeunesse.

Derniers commentaires

Analyse de l’algorithme de Fibonacci
Cet article me fait penser à la manière dont j’ai été bluffé par ChatGPT qui me proposait (...)

Quand la machine apprend
Passionnant livre, parmi l’abondante et inégale floraison actuelle de bouquins sur l’IA. Au (...)

Controverses autour du Système d’information (SI)
Les traités d’informatisation des années 1960 (CEGOS- G. Bauvin, etc.) expliquaient déjà que (...)

Informatique confidentielle
Je cite "moins d’une machine virtuelle que d’un système exploitation virtuel". On a vraiment (...)

Pourquoi Scheme ?
Je suis étonné de la citation suivante dans le contexte d’un article "Pourquoi Scheme ?" : (...)