{"product_id":"symposium-on-semantics-of-algorithmic-languages-9783540053774","title":"Symposium on Semantics of Algorithmic Languages","description":"\u003cp\u003e • Author(s): E. Engeler\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\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","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615501631639,"sku":"9783540053774","price":4625.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540053774.webp?v=1775101282","url":"https:\/\/atlanticbooks.com\/products\/symposium-on-semantics-of-algorithmic-languages-9783540053774","provider":"Atlantic Books","version":"1.0","type":"link"}