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.
1970's computers and computing,
Programming and Programming Languages,
Assembly and Machine Language,
General Programming, Philosophy of Programming
See all items by andrei Ershove, Nepomniaschy, series, Karlsruhe Goos, Harmanis, Lecture Notes in Computer Science number 5
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.