Titre original :
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Contenu du livre :
Edsger Wybe Dijkstra (1930-2002) a été l'un des chercheurs les plus influents de l'histoire de l'informatique, apportant des contributions fondamentales à la fois à la théorie et à la pratique de l'informatique. Au début de sa carrière, il a proposé l'algorithme du plus court chemin à source unique, aujourd'hui communément appelé algorithme de Dijkstra. Il a écrit (avec Jaap Zonneveld) le premier compilateur ALGOL 60, et a conçu et mis en œuvre avec ses collègues l'influent système d'exploitation THE. Dijkstra a inventé le domaine des algorithmes concurrents, avec des concepts tels que l'exclusion mutuelle, la détection des impasses et la synchronisation. Auteur prolifique et fervent défenseur du concept de programmation structurée, il s'est opposé de manière convaincante à l'utilisation de l'instruction Go To. En 1972, il a reçu le prix Turing de l'ACM pour ses "contributions fondamentales à la programmation en tant que défi intellectuel de haut niveau".
Pour son insistance éloquente et sa démonstration pratique du fait que les programmes doivent être composés correctement, et pas seulement débogués pour être corrects.
Pour avoir éclairé la perception des problèmes aux fondements de la conception des programmes". Par la suite, il a inventé le concept d'auto-stabilisation, qui s'applique à l'informatique tolérante aux pannes. Il a également conçu un langage élégant pour la programmation non déterministe et sa sémantique de la précondition la plus faible, présentée dans son livre influent de 1976, A Discipline of Programming, dans lequel il préconise le développement de programmes de concert avec leurs preuves de correction. À la fin de sa vie, il a consacré beaucoup d'attention à l'élaboration et à la présentation de preuves mathématiques, étayant ainsi son opinion de longue date selon laquelle le processus de programmation doit être considéré comme une activité mathématique.
Dans ce nouvel ouvrage unique, 31 informaticiens, dont cinq lauréats du prix Turing, présentent et discutent les nombreuses contributions de Dijkstra à l'informatique et évaluent leur impact. Plusieurs auteurs ont connu Dijkstra en tant qu'ami, professeur, conférencier ou collègue. Leurs essais biographiques et leurs hommages donnent une image fascinante de Dijkstra, depuis le début de sa carrière jusqu'à la fin de sa vie.
Autres informations sur le livre :
| ISBN : | 9781450397735 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2022 |
| Nombre de pages : | 574 |
Achat:
Actuellement disponible, en stock.
