Symposium on semantics of algorithmic languages
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in mathematics
188 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Symposium on semantics of algorithmic languages, edited by E. Engeler,..., 1971, Berlin [etc.], Springer, 1 vol. (VI-372 p.), Lecture notes in mathematics, 3-540-05377-8 • Symposium on Semantics of Algorithmic Languages, Texte imprimé, 9783662170533 |
書本目錄:
- 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.