Symposium on semantics of algorithmic languages : [papers]
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.
- 著者
- Engeler, Erwin、Engeler E.
- 出版社
- Springer-Verlag
- 発売日
- 1971年1月発売
- 価格
- 価格未定（税込・書誌情報提供：openBD）
- ISBN
- 9783540053774
- ページ数
- 372ページ
発売済み
シリーズの既刊・続刊
- Lectures on symplectic geometry / Ana Cannas da Silva
- Harmonic mappings and minimal immersions : lectures given at the 1st 1984 session of the Centro internationale [sic] matematico estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
- Arithmetik Abelscher Varietäten mit komplexer Multiplikation
- Galerkin finite element methods for parabolic problems