Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 04. Januar 1971 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 575 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540053774 |
| Seiten | 376 |
Schlagwörter
Herstellerinformationen
Bekannt durch
