Programming logics : an introduction to verification and semantics
Author(s)
Bibliographic Information
Programming logics : an introduction to verification and semantics
Wiley, c1989
Available at / 20 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes indexes
Description and Table of Contents
Description
This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.
Table of Contents
- Mathematical preliminaries
- the partial correctness of while programs
- the total correctness of flowchart programs
- the total correctness of flowchart programs with arrays and input and output
- the translation of While programs with arrays, input and output and a stack of flowchart programs
- the total correctness of While programs with procedures and functions
- the translation of tail recursive procedures into While programs.
by "Nielsen BookData"
