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

MaRDI QIDQ1066660zbMATH OpenFDO

Authors Sheila A. Greibach

Publication date 1985

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

correctnessequivalenceinterpretationsrecursion schemesstructured programs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

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.

Cited in

(4)

• Semantics and program verification
• scientific article; zbMATH DE number 46687 (Why is no real title available?)
• The B-Book
• A connotational theory of program structure

This page was built for publication: Theory of program structures: schemes, semantics, verification. 2nd printing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066660)