Symposium on Semantics of Algorithmic Languages

Inhaltsverzeichnis

• 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.