Programming logics : an introduction to verification and semantics
著者
書誌事項
Programming logics : an introduction to verification and semantics
Wiley, c1989
大学図書館所蔵 件 / 全20件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes indexes
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より
