Symposium on Semantics of Algorithmic Languages

Herausgegeben:Engeler, E.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 188
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-05377-4
• 1971
• Seitenzahl: 380
• Erscheinungstermin: 4. Januar 1971
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 598g
• ISBN-13: 9783540053774
• ISBN-10: 3540053778
• Artikelnr.: 23380320

Inhaltsangabe

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.