{"product_id":"international-symposium-on-programming-proceedings-of-the-fourth-colloque-international-sur-la-programmation-paris-22-24-april-1980-von-b-robinet-hrsg","title":"International Symposium on Programming","description":"\u003cp\u003eStatic type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540099819\"\u003e\u003ch3\u003eProceedings of the Fourth \"Colloque International sur la Programmation\" Paris, 22-24 April 1980\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540099819","offer_id":39425925283933,"sku":"9783540099819","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/007eda76-4d1c-4fb6-840f-4e054d7e8842.jpg?v=1773554266","url":"https:\/\/shop.autorenwelt.de\/products\/international-symposium-on-programming-proceedings-of-the-fourth-colloque-international-sur-la-programmation-paris-22-24-april-1980-von-b-robinet-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}