Nantilus
Symposium on semantics of algorithmic languages
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Symposium on semantics of algorithmic languages / ed. by E. Engeler |
| Publié : |
Berlin [etc.] :
Springer
, copyright 1971 |
| Description matérielle : | 1 vol. (VI-372 p.) |
| Collection : | Lecture notes in mathematics ; 188 |
| Titre de l'ensemble : | Lecture notes in mathematics vol. 188 |
| Sujets : |
- 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