Symposium on Semantics of Algorithmic Languages

E. Engeler

ISBN 10: 3540053778 / ISBN 13: 9783540053774

Published by Springer Berlin Heidelberg Jan 1971, 1971

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams. 380 pp. Englisch.

Seller Inventory # 9783540053774

Bibliographic Details

• Title: Symposium on Semantics of Algorithmic Languages
• Publisher: Springer Berlin Heidelberg Jan 1971
• Publication Date: 1971
• Language: English
• ISBN 10: 3540053778
• ISBN 13: 9783540053774
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 21D millimeters 235 millimeters width by 155 millimeters height by 21 millimeters depth
• Weight: 575 grams

About this title

Synopsis

Symposium on Semantics of Algorithmic Languages Symposium on Semantics of Algorithmic Languages