{"product_id":"programming-symposium-proceedings-colloque-sur-la-programmation-paris-april-9-11-1974-von-b-robinet-hrsg","title":"Programming Symposium","description":"\u003cp\u003eOn a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Proving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in VDL.- The suitability of a very high level language (setl) for simulation structuring and control.- A control statement for natural top-down structured programming.- On the transfer of control between contexts.- Equivalences dans l'alg¿e des sch¿s de programme.- Inductive assertion patterns for recursive procedures.- Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.- Non-existence of program optimizers in an abstract setting.- Listing of information structures defined by fixed-point operators.- Application de la structuration de systeme a la conception interne du systeme GEMAU.- Un systeme de communications: logiciel ou materiel?.- Structure du systeme SAR.- Une Transformation de programmes sequentiels en programmes paralleles.- A model for structured parallel processing in block-structured programming languages.- First version of a data flow procedure language.- Towards more flexible type systems.- Behavioral semantics of nonrecursive control structures.- Towards a theory of type structure.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540068594\"\u003e\u003ch3\u003eProceedings, Colloque sur la Programmation, Paris, April 9-11, 1974\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540068594","offer_id":39435807522909,"sku":"9783540068594","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e50f39c0-16ee-4a11-a303-9ffe0c3534cc.jpg?v=1773553477","url":"https:\/\/shop.autorenwelt.de\/products\/programming-symposium-proceedings-colloque-sur-la-programmation-paris-april-9-11-1974-von-b-robinet-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}