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

À la Commission de développement de l’informatique du Ministère des Finances
Article tout aussi instructif que plaisant à lire. On pensera aussi à "Comédies Françaises", (...)

À la Commission de développement de l’informatique du Ministère des Finances
Dans le style qui t’est caractéristique, j’avoue que j’ai bien aimé ! J’ai même eu l’occasion (...)

Informatique confidentielle
La clé pour comprendre est peut-être qu’il s’agit ici de "machine virtuelle" et non de (...)

Informatique confidentielle
Merci pour vos précisions à tous les deux, mais je continue à penser que la locution "machine (...)

Les programmes du manuel ISN traduits en Scheme
Oui, votre critique est fondée. Ces programmes sont tous un peu bâtards (au sens propre), (...)