{"product_id":"international-symposium-on-programming-5th-colloquium-turin-april-6-8-1982-proceedings-von-m-dezani-ciancaglini-u-montanari-hrsg","title":"International Symposium on Programming","description":"\u003cp\u003eApplicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sall¿ypes.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540114949\"\u003e\u003ch3\u003e5th Colloquium, Turin, April 6-8, 1982. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540114949","offer_id":39425986461789,"sku":"9783540114949","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1d7f7ce2-5b10-470b-a6d3-4f4d6218df07.jpg?v=1773554321","url":"https:\/\/shop.autorenwelt.de\/products\/international-symposium-on-programming-5th-colloquium-turin-april-6-8-1982-proceedings-von-m-dezani-ciancaglini-u-montanari-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}