Programs as Data Objects
Jones, Neil / Ganzinger, Harald![Programs as Data Objects](https://support.digitalhusky.com/media/annotations/sorted/325/3251209/CHSBZCOP033251209.jpg)
Strictness 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...