Symposium on Semantics of Algorithmic Languages. 1st ed. 1971
- 種類:
- 電子ブック
- 責任表示:
- edited by E. Engeler
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1971
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 188
- ISBN:
- 9783540364993 [3540364994]
- 注記:
- 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.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag |
Springer-Verlag Berlin Heidelberg |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
3
![]() Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Science+Business Media, LLC |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |