Symposium on Semantics of Algorithmic Languages
(Sprache: Englisch)
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.-...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
Produktdetails
Produktinformationen zu „Symposium on Semantics of Algorithmic Languages “
Klappentext zu „Symposium on Semantics of Algorithmic Languages “
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.
Inhaltsverzeichnis zu „Symposium on Semantics of Algorithmic Languages “
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.
Bibliographische Angaben
- 1971, 380 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: E. Engeler
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540053778
- ISBN-13: 9783540053774
- Erscheinungsdatum: 04.01.1971
Sprache:
Englisch
Kommentar zu "Symposium on Semantics of Algorithmic Languages"
0 Gebrauchte Artikel zu „Symposium on Semantics of Algorithmic Languages“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Symposium on Semantics of Algorithmic Languages".
Kommentar verfassen