cover image

Symposium on semantics of algorithmic languages; edited by E. Engeler.

Berlin, New York, Springer-Verlag, 1971.
ISBN 3540053778, 9780387053776, 0387053778, 9783540053774

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA3 .L28 no. 188 Off-site
WRLC Shared Collections Facility
QA 3 .L28 no.188 Off-site
WRLC Shared Collections Facility
No. 188-189 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no.188-189 no.188-189 Off-site
George Mason
Fenwick stacks
QA3 .L4 no. 188 Available Request
RIGGS Storage
QA3 .L28 no.188 Available Request
Other Authors Engeler, Erwin,
Subjects Algorithmes.
Algorithmische Programmiersprache.
Computer algorithms -- Congresses.
Computer algorithms.
Formal languages -- Congresses.
Formal languages.
Langages de programmation.
Langages formels.
Programming languages (Electronic computers) -- Semantics -- Congresses.
Programming languages (Electronic computers) -- Semantics.
Series Lecture notes in mathematics (Springer-Verlag) ; 188.
Description 372 pages 26 cm.
Copyright Date 1971.
Notes "A write-in symposium."
Includes bibliographical references (pages 367-372).
Contents Axiom systems for simple assignment statements / J.W. de Bakker -- A property of linear conditionals / J.W. de Bakker -- Formalization of storage properties / H. Bekic and K. Walk -- Program schemes, programs, and logic / D.C. Cooper -- Algebraic theories and program schemes / C.C. Elgot -- Structure and meaning of elementary programs / E. Engeler -- Procedures and parameters : an axiomatic approach / C.A.R. Hoare -- Semantics of ALGOL-like statements / S. Igarashi -- Proving correctness of implementation techniques / C.B. Jones and P. Lucas -- Examples of formal semantics / D.E. Knuth -- Experience with inductive assertions for proving programs correct / R.L. London -- Mathematical theory of partial correctness / Z. Manna -- Towards automatic program synthesis / Z. Manna and R.J. Waldinger -- The lattice of flow diagrams / D.S. Scott.
Genre Kongress
Conference proceedings.
Network Numbers (OCoLC)143281
WorldCat Search OCLC WorldCat


Export citation to: RefWorks