{"product_id":"formalization-of-programming-concepts-international-colloquium-peniscola-spain-april-19-25-1981-proceedings-von-j-diaz-i-ramos-hrsg","title":"Formalization of Programming Concepts","description":"\u003cp\u003eThe algebra of functional programs: Function level reasoning, linear equations, and extended definitions.- The VDM principles of software specification \u0026amp; program design.- Attribute grammars : Theory and applications.- Compiler generation from formal definition of programming languages : A survey.- Formal behavioural specification of concurrent systems without globality assumptions.- A birkhoff-like theorem for algebraic classes of interpretations of program schemes.- Building data base management systems through formal specification.- Reducing types in applicative languages with structured data.- On the definition of lambda-calculus models.- About data type genericity.- On the algebraic extensions of abstract data types.- Scenarios: A model of non-determinate computation.- An operational semantics for a language with early completion data structures.- Le calcul des fermetures dans les lambda-langages.- Distributed termination with interval assertions.- Algebraic denotational semantics using parameterized abstract modules.- Relational semantics of strongly communicating sequential processes.- A construction of concurrent systems by means of sequential solutions and concurrency relations.- The development of an interpreter by means of abstract algebraic software specifications.- A formal model of an interpreter for nonprocedural languages.- Proof theoretic methodology for propositional dynamic logic.- FP systems in edinburgh LCF.- A proposal for operational semantics and equivalence of finite asynchronous processes.- An extension to horn clause logic allowing the definition of concurrent processes.- A semantic algebra for binding constructs.- On the representation of data types.- An approach to communications and parallelism in applicative languages.- Using least fixed points to characterize formal computations of non-deterministic equations.- Formal representations for recursively defined functional programs.- Petri nets and concurrency-like relations.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540106999\"\u003e\u003ch3\u003eInternational Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540106999","offer_id":39435935121501,"sku":"9783540106999","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2f0f204d-cae7-44c3-8d37-126f41ea3678.jpg?v=1773553148","url":"https:\/\/shop.autorenwelt.de\/products\/formalization-of-programming-concepts-international-colloquium-peniscola-spain-april-19-25-1981-proceedings-von-j-diaz-i-ramos-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}