Discussion :

[mickael.canevet]

http://www.ddj.com/documents/s=7338/ddj1028798699611/

[btavernier]

La citation vient de l'article, mais elle mérite d'apparaitre ici

I mean, if 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am looking over your shoulders and say to yourself, 'Dijkstra would not have liked this,' well that would be enough immortality for me.

E. Dijkstra

[senke]

c'est qui ce type, un programmeur? c'était pas un anti fortan et pro-pascal?

[btavernier]

Dijkstra, c'est le premier mathématicien a avoir essayé de formaliser l'informatique.

Au niveau de l'informatique temps-réel, il a pratiquement tout inventé.

La programmation structurée, c'est lui...
Le diner des philosophes, c'est lui...
Les sémaphores c'est lui..
La notion de vecteur, c'est lui...
La notion de synchronisation de processus, c'est lui...
Les langages à commande gardée, c'est lui...
L'exclusion mutuelle, c'est lui...

[btavernier]

J'en oublie plein :

Il a aussi beaucoup travaillé sur les algorithmes de chemin les plus courts (tu sais, le problème du voyageur de commerce...), et c'est toujours ses algorithmes qui sont utilisés dans plein de systèmes (des routeurs par exemple).

Pour moi, c'est le père de l'agorithmique !

[mickael.canevet]

ce qui m'écoeure, c'est que quand Billou va mourrir ça va faire la une des journaux, alors que dijkstra...

[HRS]

je crois qu'il a dit aussi en 1968 que le GOTO était dangereux car cette instruction rend les programmes invérifiables

Peut-être est-ce grâce à lui que les concepteurs de langages ont mis
à la disposition des développeurs, des structures de contrôle sans goto ?

sans bannir bien sûr cette instruction (sauf java)

[btavernier]

C'est exact !

[charly]

c est pour sa qu on m a toujours deconseiller le goto ? je suis encore un debutant en programmation (enfin presque) masi si c est bien luit qui a inventer tous sa alos

[Musaran]

L'informatique atteint un age où ses fondateurs commencent à disparaître...

Je salue un inventeur, un explorateur de la logique, un créateur d'idées comme on devrait en avoir plus.

J'ai compris: synchronization, deadly embrace, dining philosophers, structured programming, semaphores.
Je devines: weakest precondition.
Je ne connaît pas: guarded command, excluded miracle.

[btavernier]

Un langage à commande gardée est un langage du type (c'est pas tout à fait ca, mais je pense que ca donne une bonne idée)

[Garde(prédicat sur les variables)]=>[Traitement]

Ca donne un truc du type

While true do
if (garde)...
endif

if (garde2)...
endif
od

D'un point de vue sémantique, le traitement n'est fait que si la garde est vraie, si plusieurs gardes sont vraies, une garde est choisie de manière indeterministe...

Ce type de concept est, par exemple, à l'origine des langages réactifs (lustre, esterelle,...) et est utilisé en promela (langage permettant la validation formelle par model-checking LTL)

voili voila