Symposium on semantics of algorithmic languages
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
1971.
|
| Schriftenreihe: | Lecture notes in mathematics
188 |
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Symposium on semantics of algorithmic languages, edited by E. Engeler,..., Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-36499-3 |
Inhaltsangabe:
- P.1
- Axiom systems for simple assignment statements / J.W. de Bakker
- P.23
- A property of linear conditionals / J.W. de Bakker
- P. 28
- Formalization of storage properties / H. Bekic and K. Walk
- P. 62
- Program schemes, programs, and logic / D.C. Cooper
- P. 71
- Algebraic theories and program schemes / C.C. Elgot
- P 89
- Structure and meaning of elementary programs / E. Engeler
- P.102
- Procedures and parameters : an axiomatic approach / C.A.R. Hoare
- P117
- Semantics of ALGOL-like statements / S. Igarashi