A Discipline of Programming

A Discipline of Programming

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.
Sign up to use

Reviews

Photo of Julien Sobczak
Julien Sobczak@julien-sobczak
4 stars
Oct 22, 2022