{"product_id":"symposium-on-semantics-of-algorithmic-languages-von-e-engeler-hrsg","title":"Symposium on Semantics of Algorithmic Languages","description":"\u003cp\u003eAxiom 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540053774\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540053774","offer_id":39435875811421,"sku":"9783540053774","price":42.75,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/bfbb3d53-0c9c-434e-bc19-a4297652d05e.jpg?v=1772085409","url":"https:\/\/shop.autorenwelt.de\/en\/products\/symposium-on-semantics-of-algorithmic-languages-von-e-engeler-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}