A Discipline of Programming

Front Cover
Prentice-Hall, 1976 - Computers - 217 pages
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.

From inside the book

Contents

PROGRAMMING LANGUAGE
24
5
37
EUCLIDS ALGORITHM REVISITED
45
Copyright

10 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information