Monografia
| 5758 | IF.26 |
DIJKSTRA, Edsger W.
A discipline of programming / Edsger W. Dijkstra.- Englewood Cliffs : Prentice-Hall, cop.1976.- XVII,217p. ; 24cm. - (Prentice-Hall Series in Automatic Computation)
ISBN 0-13-215871-X : COMPRA
PROGRAMATICA, LINGUAGEM DE PROGRAMAÇÃO, TEORIA DOS ALGORITMOS, CONCEPÇÃO DE PROGRAMAS
O papel das linguagens de programação. Estados e sua caracterização. A caracterização semantica. A caracterização semantica da linguagem de programação. Dois teoremas. Sobre a concepção dos requisitos finais. Revisão do algoritmo de Euclides. O tratamento formal de alguns exemplos. Um ensaio sobre as possibilidades das variaveis. Conjunto de variaveis. O teorema da investigação linear. Actualização de um ficheiro sequencial. Sobre manuais e implementações. Rectrospectiva.