{"product_id":"semantics-directed-compiler-generation-proceedings-of-a-workshop-aarhus-denmark-january-14-18-1980-von-n-d-jones-hrsg","title":"Semantics-Directed Compiler Generation","description":"\u003cp\u003eTransforming denotational semantics into practical attribute grammars.- Compiler generation from denotational semantics.- From standard to implementation denotational semantics.- Specification of compilers as abstract data type representations.- More on advice on structuring compilers and proving them correct.- A constructive approach to compiler correctness.- Using category theory to design implicit conversions and generic operators.- On defining semantics by means of extended attribute grammars.- Tree-affix dendrogrammars for languages and compilers.- An implementation of affix grammars.- Experiences with the compiler writing system HLP.- Rule splitting and attribute-directed parsing.- Attribute-influenced LR parsing.- On the definition of an attribute grammar.- State transition machines for lambda-calculus expressions.- Semantic definitions in REFAL and automatic production of compilers.- On the formal definition of ADA.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540102502\"\u003e\u003ch3\u003eProceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540102502","offer_id":39424849117277,"sku":"9783540102502","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0ff1fc57-5853-4e4f-9c0f-fe69d5d09219.jpg?v=1773554044","url":"https:\/\/shop.autorenwelt.de\/en\/products\/semantics-directed-compiler-generation-proceedings-of-a-workshop-aarhus-denmark-january-14-18-1980-von-n-d-jones-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}