bokomslag Symposium on Semantics of Algorithmic Languages
Vetenskap & teknik

Symposium on Semantics of Algorithmic Languages

E Engeler

Pocket

619:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 376 sidor
  • 1971
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.

  • Författare: E Engeler
  • Format: Pocket/Paperback
  • ISBN: 9783540053774
  • Språk: Engelska
  • Antal sidor: 376
  • Utgivningsdatum: 1971-01-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K