{"product_id":"programming-languages-and-their-definition-selected-papers-von-h-bekic","title":"Programming Languages and their Definition","description":"\u003cp\u003eNote on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL\/I.- Defining a language in its own terms.- Note on some problems concerning the PL\/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL\/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540133780\"\u003e\u003ch3\u003eSelected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540133780","offer_id":39425810071645,"sku":"9783540133780","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5272b5f6-f569-42ab-a60e-71a55d7ed7c6.jpg?v=1773554576","url":"https:\/\/shop.autorenwelt.de\/en\/products\/programming-languages-and-their-definition-selected-papers-von-h-bekic","provider":"Autorenwelt Shop","version":"1.0","type":"link"}