Programs as Data Objects

Keyphrases

Publications

volume 217, 1986

Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985 Programs as Data Objects 217 (1986)

1985

David A. Schmidt
An implementation from a direct semantics definition. Programs as Data Objects (1985)
Robert Giegerich
Logic specification of code generation techniques. Programs as Data Objects (1985)
Harald Ganzinger
Modular first-order specifications of operational semantics. Programs as Data Objects (1985)
Flemming Nielson, Hanne Riis Nielson
Code generation from two-level denotational meta-languages. Programs as Data Objects (1985)
Bengt Nordström
Multilevel functions in Martin-Löf's type theory. Programs as Data Objects (1985)
Dieter Maurer
Strictness computation using special lambda-expressions. Programs as Data Objects (1985)
Flemming Nielson
Expected forms of data flow analyses. Programs as Data Objects (1985)
John Hughes
Strictness detection in non-flat domains. Programs as Data Objects (1985)
Henning Christiansen
Recognition of generative languages. Programs as Data Objects (1985)
Geoffrey L. Burn, Chris Hankin, Samson Abramsky
The theory of strictness analysis for higher order functions. Programs as Data Objects (1985)
Valentin F. Turchin
Program transformation by supercompilation. Programs as Data Objects (1985)
Alan Mycroft, Neil D. Jones
A relational framework for abstract interpretation. Programs as Data Objects (1985)
Philip Wadler
Listlessness is better than laziness II: composing listless functions. Programs as Data Objects (1985)
Peter Sestoft
The structure of a self-applicable partial evaluator. Programs as Data Objects (1985)
Samson Abramsky
Strictness analysis and polymorphic invariance. Programs as Data Objects (1985)
Françoise Bellegarde
Convergent term rewriting systems can be used for program transformation. Programs as Data Objects (1985)
Mitchell Wand
From interpreter to compiler: a representational derivation. Programs as Data Objects (1985)