Symposium on semantics of algorithmic languages : [papers]
著者
書誌事項
Symposium on semantics of algorithmic languages : [papers]
(Lecture notes in mathematics, 188)
Springer-Verlag, 1971
- : Germany
- : U.S.
大学図書館所蔵 件 / 全83件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"A write-in symposium."
Bibliography: p. [367]-372
内容説明・目次
目次
Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.
「Nielsen BookData」 より