A Discipline of Programming

A Discipline Of Programming

by Edsger Wybe Dijkstra
3.71 of 5 Votes: 4
Pages
217 Pages
Published
Prentice-Hall , 1976
Publisher
Prentice Hall
Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.

Related Books with
A Discipline of Programming