{"product_id":"international-symposium-on-programming-6th-colloquium-toulouse-april-17-19-1984-proceedings-von-m-paul-b-robinet-hrsg","title":"International Symposium on Programming","description":"\u003cp\u003eUn modele de description de protocoles : Les reseaux fermes d'automates triphases.- Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees.- Semantiques comparees des systemes de programmation fonctionnelle FP et FFP de J.W. Backus.- Le type abstrait \"vecteur\" et les methodes de programmation des ordinateurs vectoriels.- Some topics in the design of the specification language lotos.- Specification and verification of networks protocols using temporal logic.- Une impl¿ntation des coroutines en Lisp, application ¿malltalk.- Vesta Vectorisation automatique et parametree de programmes.- L'Inclusion de filtres : Une approche de la creation d'environnements symboliques en Plasma.- Projet Vesta.- The program dependence graph and its use in optimization.- Implementations of nondeterministic programs.- For statements with restricted enumerations.- A method for developing concurrent systems.- An optimal-time recursive evaluator for attribute grammars.- On the Merlin-Randell problem of train journeys.- Un systeme d'aide a la preuve de compilateurs.- Optimized combinatoric code for applicative language implementation.- Polymorphic type schemes and recursive definitions.- Non-sequential behaviour.- Proving properties of Snobol4 patterns: Selecting the assertion format.- Polynomial-time analysis for a class of communicating processes.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540129257\"\u003e\u003ch3\u003e6th Colloquium, Toulouse, April 17-19, 1984. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540129257","offer_id":39435921915997,"sku":"9783540129257","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/28fecd1e-1d74-4eee-9561-70fc564d4524.jpg?v=1782449648","url":"https:\/\/shop.autorenwelt.de\/products\/international-symposium-on-programming-6th-colloquium-toulouse-april-17-19-1984-proceedings-von-m-paul-b-robinet-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}