skip to content
Symposium on semantics of algorithmic languages; Preview this item
ClosePreview this item

Symposium on semantics of algorithmic languages;

Author: Erwin Engeler
Publisher: Berlin, New York, Springer-Verlag, 1971.
Series: Lecture notes in mathematics (Springer-Verlag), 188.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Kongreß
Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Symposium on semantics of algorithmic languages.
Berlin, New York, Springer-Verlag, 1971
(OCoLC)624982047
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Erwin Engeler
ISBN: 0387053778 9780387053776 3540053778 9783540053774
DOI: 10.1007/b23002
OCLC Number: 143281
Notes: "A write-in symposium."
Description: 372 pages 26 cm.
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.
Series Title: Lecture notes in mathematics (Springer-Verlag), 188.
Responsibility: edited by E. Engeler.
Retrieving notes about this item Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.