Theory of program structures: schemes, semantics, verification. 2nd printing (Q1066660)

Everyone who wants to initiate in semantics of programming languages must read first ''Theory of program structures: schemes, semantics, verification''. In this idea the second printing of this book is welcome (1st ed. Berlin 1975; Zbl 0345.68002). The book gives formal definitions of the notions of program schemes, interpretations, computation, equivalence of program schemes, structured programs, correctness, program verification, recursion schemes. The numerous examples used lead to an easier understanding of notions and results presented. Contents: Introduction. Program schemes. Basic definitions and concepts. Program schemes. Basic properties. Structured programs. Correctness and program verification. Decision problems. Recursion schemes. Monadic recursion schemes. Appendix A. Program schemes and the first order predicate calculus. Exercises. Bibliography. Indexes.