edsger dijkstra - Wikilingue - Encydia
| Edsger Wybe Dijkstra | |
|---|---|
 | |
| Nascimento | 11 de maio de 1930  Países Baixos |
| Fallecimiento | 6 de agosto de 2002 , 72 anos |
| Nacionalidade | holandês |
| Ocupação | informático, físico |
Edsger Wybe Dijkstra (*11 de maio de 1930 - 6 de agosto de 2002 ) foi um cientista da computação de origem holandês.
Conteúdo |
Biografia
Dijkstra estudou física teórica na Universidade de Leiden. Trabalhou como investigador para Burroughs Corporation a princípios dos anos 1970. Na Universidade de Texas em Austin , Estados Unidos, ocupou o Schlumberger Centennial Chair in Computer Sciences. Retirou-se em 2000 .
Entre suas contribuições à informática está o problema do caminho mais curto, também conhecido como o algorítmo de Dijkstra, a Anotação polaca inversa e o relacionado algorítmo shunting yard, THE multiprogramming system, o algorítmo do banqueiro e a construção do semáforo para coordenar múltiplos processadores e programas. Outro conceito devido a Dijkstra, no campo da computação distribuída, é o do auto-estabilização, uma via alternativa para garantir a confiabilidad do sistema. O algorítmo de Dijkstra é usado na rota mais curta primeiro (SPF) que é usado no protocolo de roteamento Open Shortest Path First (OSPF). Também se lhe deve a autoria da expressão "Crise do software", aparecida em seu livro The Humble Programmer e usada amplamente na famosa reunião da OTAN de 1968 sobre desenvolvimento do software. Recebeu o Prêmio Turing em 1972 .
Era conhecido por sua baixa opinião da sentença GOTO em programação, que culminou em 1968 com o artigo Go To Statement Considered Harmful, visto como um passo importante para a rejeição da expressão GOTO e de sua eficaz substituição por estruturas de controle tais como o bucle while. O famoso título do artigo não era obra de Dijkstra, senão de Niklaus Wirth, então redactor de Comunicações do ACM. Dijkstra era um aficionado bem conhecido de Algol , e trabalhou na equipa que desenvolveu o primeiro compilador para esta linguagem. Nesse mesmo ano criou o primeiro sistema operativo com estrutura hierárquica, de níveis ou capas. Foi denominado THE (Technische Hogeschool, Eindhoven) que se utilizou com fins didácticos.
Desde os anos 70, o principal interesse de Dijkstra foi a verificação formal. A opinião que prevalecia então era que um deve primeiro escrever um programa e seguidamente proporcionar uma prova matemática de sua correcção. Dijkstra objetó que as provas que resultam são longas e incómodas, e que a prova não dá nenhum entendimento de como se desenvolveu o programa. Um método alternativo é a derivação de programas, «desenvolver prova e programa conjuntamente». Um começa com uma especificação matemática do programa que se supõe vai fazer e aplica transformações matemáticas à especificação até que se transforma em um programa que possa ser executado. O programa que resulta então é sabido correcto pela construção. Muitos dos últimos trabalhos de Dijkstra tratam sobre as maneiras de fazer fluída a argumentación matemática.
Com respeito a seu caracter árido e ácido, conhecidas são sua oposição à instrução GOTO e à linguagem BASIC ("mutila a mente para além de toda a recuperação"). Alan Kai expôs que "em informática, a arrogância se mede em nanodijkstras".
Dijkstra morreu o 6 de agosto de 2002 após uma longa luta contra o cancro.
Veja-se também
- Algorítmo de Dijkstra
- Problema dos filósofos cenando
- Comandos Guardados
- Algorítmo do banqueiro
- Algorítmo shunting yard
Enlaces externos e referências
- Escritos de Edsger Wybe Dijkstra
Em inglês
- Escritos de E. W. Dijkstra
- E. W. Dijkstra, Go To Statement Considered Harmful, Communications of the ACM, Vol. 11 (1968) 147-148; edição em Internet
- Trabalhos completos
- Citas de e sobre Dijkstra
Enlaces externos
Wikiquote alberga frases célebres de ou sobre Edsger Dijkstra. Wikiquote
