Item #R249 Theoretical Programming, international symposium on theoretical programming, 1974;. andrei Ershove, Nepomniaschy, series, Karlsruhe Goos, Harmanis, Lecture Notes in Computer Science number 5.
Theoretical Programming, international symposium on theoretical programming, 1974;

Theoretical Programming, international symposium on theoretical programming, 1974;.

Springer-Verlag Berlin and NY 1974, 407 pages.

Condition: Good overall, thick gray and maroon cardstock covers, softcover; chipping and wear at head and tail of spine, edgewear to covers at spine, prev. owner's name lightly in pen at upper right corner front cover; binding is sound overall, pages clean and unmarked.

Price: $8.00

Item Description

Includes papers such as, An axiomatic definition of the programming language Pascal (Hoare); Central technical issues in programming language design (Schwartz); On universal classes of program schemas *Trachtenbrot); Equivalence and optimization of programs (Letichevsky); Configurable computers - a new class of general purpose machines (Miller, Cocke); Towards automatical construction of parallel programs (Kotov); A calculus for the mathematical theory of computation (Milner); Admissability of fixed-point induction in first order logic of typed theories (Igarashi); and more.