Symposium on semantics of algorithmic languages

Symposium on semantics of algorithmic languages

Saved in:
Bibliographic Details
Other Authors : Engeler Erwin (Éditeur scientifique)
Format : Book
Language : anglais
Title statement : Symposium on semantics of algorithmic languages / ed. by E. Engeler
Published : Berlin [etc.] : Springer , copyright 1971
Physical Description : 1 vol. (VI-372 p.)
Series : Lecture notes in mathematics ; 188
Titre de l'ensemble : Lecture notes in mathematics vol. 188
Subjects :
Langages de programmation
Langages formels
Langages de programmation > Sémantique
  • 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