Blick ins Buch

Symposium on Semantics of Algorithmic Languages

E. Engeler (Herausgeber)

Buch | Softcover

VIII, 376 Seiten

1971
Springer Berlin (Verlag)
9783540053774 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	4.1.1971
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	VIII, 376 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	531 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Algebra • Programmiersprache • Semantics • Semantics of Algorithmic Languages • Semantik
ISBN-13	9783540053774 / 9783540053774
Zustand	Neuware