Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)

ISBN 10: 3540053778 / ISBN 13: 9783540053774

Editore: Springer, 1971

Riguardo questo articolo

Softcover in Good condition. Minor wear to cover. Clean pages. Good binding. Carefully packaged to avoid damage in shipping.

Codice articolo 100509-Symposium

Dati bibliografici

• Titolo: Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)
• Editore: Springer
• Data di pubblicazione: 1971
• Lingua: Inglese
• ISBN 10: 3540053778
• ISBN 13: 9783540053774
• Rilegatura: paperback
• Condizione: Good
• Peso: 19 once

Descrizione articolo

Contenuti

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.