{"product_id":"programs-as-data-objects-proceedings-of-a-workshop-copenhagen-denmark-october-17-19-1985-von-harald-ganzinger-neil-jones-hrsg","title":"Programs as Data Objects","description":"\u003cp\u003eStrictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used for program transformation.- The theory of strictness analysis for higher order functions.- Recognition of generative languages.- Modular first-order specifications of operational semantics.- Logic specification of code generation techniques.- Strictness detection in non-flat domains.- Strictness computation using special ?-expressions.- A relational framework for abstract interpretation.- Expected forms of data flow analyses.- Code generation from two-level denotational meta-languages.- Multilevel functions in Martin-L¿f's type theory.- An implementation from a direct semantics definition.- The structure of a self-applicable partial evaluator.- Program transformation by supercompilation.- Listlessness is better than laziness II: Composing listless functions.- From interpreter to compiler: A representational derivation.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540164463\"\u003e\u003ch3\u003eProceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540164463","offer_id":39425451786333,"sku":"9783540164463","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/505aa796-ca04-4039-9b71-c2a1250f6fcc.jpg?v=1773553113","url":"https:\/\/shop.autorenwelt.de\/products\/programs-as-data-objects-proceedings-of-a-workshop-copenhagen-denmark-october-17-19-1985-von-harald-ganzinger-neil-jones-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}