Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Symposium on Semantics of Algorithmic Languages 1971

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lnm/1971-188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/1971-188
Erwin Engeler:
Symposium on Semantics of Algorithmic Languages. Lecture Notes in Mathematics 188, Springer 1991, ISBN 978-3-540-05377-4
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Bakker71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Bakker71
J. W. de Bakker:
Axiom systems for simple assignment statements. 1-22
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Bakker71a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Bakker71a
J. W. de Bakker:
A property of linear conditionals. 23-27
- view
  authority control:
- export record
  dblp key:
  - series/lnm/BekicW71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/BekicW71
Hans Bekic, Kurt Walk:
Formalization of storage properties. 28-61
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Cooper71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Cooper71
D. C. Cooper:
Program schemes, programs and logic. 62-70
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Elgot71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Elgot71
Calvin C. Elgot:
Algebraic theories and program schemes. 71-88
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Engeler71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Engeler71
Erwin Engeler:
Structure and meaning of elementary programs. 89-101
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Hoare71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Hoare71
C. A. R. Hoare:
Procedures and parameters: An axiomatic approach. 102-116
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Igarashi71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Igarashi71
Shigeru Igarashi:
Semantics of algol-like statements. 117-177
- view
  authority control:
- export record
  dblp key:
  - series/lnm/JonesL71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/JonesL71
Cliff B. Jones, P. Lucas:
Proving correctness of implementation techniques. 178-211
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Knuth71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Knuth71
Donald E. Knuth:
Examples of formal semantics. 212-235
- view
  authority control:
- export record
  dblp key:
  - series/lnm/London71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/London71
Ralph L. London:
Experience with inductive assertions for proving programs correct. 236-251
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Manna71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Manna71
Zohar Manna:
Mathematical theory of partial correctness. 252-269
- view
  authority control:
- export record
  dblp key:
  - series/lnm/MannaW71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/MannaW71
Zohar Manna, Richard J. Waldinger:
Towards automatic program synthesis. 270-310
- view
  authority control:
- export record
  dblp key:
  - series/lnm/Scott71
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lnm/Scott71
Dana S. Scott:
The lattice of flow diagrams. 311-366

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.