{"product_id":"international-symposium-on-theoretical-programming-von-a-ershov-v-a-nepomniaschy-hrsg","title":"International Symposium on Theoretical Programming","description":"\u003cp\u003eAn axiomatic definition of the programming language PASCAL.- The logic of \"can do\".- Copying in commutation ¿ Operator schemata.- On synthesizing programs given by examples.- Central technical issues in programming language design.- Sur quelques syst¿s de programmation pour les recherches scientifiques.- Decision problems in computational models.- Non-determined algorithm schemata or R-schemata.- Equivalence and optimization of programs.- On the average speed of automaton with terminal state.- Logical-termal equivalence of program schemata.- On universal classes of program schemas.- Certain decompositions of G¿del numbering and the semantics of programming languages.- Criteria for the algorithmic completeness of the systems of operations.- Data flow schemas.- Operation patterns.- Looking for an approach to a theory of models for parallel computation.- Configurable computers: A new class of general purpose machines.- A method for determining program data relationships.- Towards automatical construction of parallel programs.- A calculus for the mathematical theory of computation.- Admissibility of fixed-point induction in first-order logic of typed theories.- A formal approximation theory of semantic data types.- Some features of a language for a proof-checking programming system.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540067207\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540067207","offer_id":39435909103709,"sku":"9783540067207","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d3940b48-b463-4682-a2c4-73068e789c78.jpg?v=1773553802","url":"https:\/\/shop.autorenwelt.de\/en\/products\/international-symposium-on-theoretical-programming-von-a-ershov-v-a-nepomniaschy-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}