Programs as Data Objects 1985: Copenhagen, Denmark

Harald Ganzinger, Neil D. Jones (Eds.): Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Lecture Notes in Computer Science 217 Springer 1986, ISBN 3-540-16446-4 BibTeX

@proceedings{DBLP:conf/pdo/1985,
  editor    = {Harald Ganzinger and
               Neil D. Jones},
  title     = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen,
               Denmark, October 17-19, 1985},
  booktitle = {Programs as Data Objects},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {217},
  year      = {1986},
  isbn      = {3-540-16446-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Samson Abramsky: Strictness analysis and polymorphic invariance. 1-23 BibTeX
Françoise Bellegarde: Convergent term rewriting systems can be used for program transformation. 24-41 BibTeX
Geoffrey L. Burn, Chris Hankin, Samson Abramsky: The theory of strictness analysis for higher order functions. 42-62 BibTeX
Henning Christiansen: Recognition of generative languages. 63-81 BibTeX
Harald Ganzinger: Modular first-order specifications of operational semantics. 82-95 BibTeX
Robert Giegerich: Logic specification of code generation techniques. 96-111 BibTeX
John Hughes: Strictness detection in non-flat domains. 112-135 BibTeX
Dieter Maurer: Strictness computation using special lambda-expressions. 136-155 BibTeX
Alan Mycroft, Neil D. Jones: A relational framework for abstract interpretation. 156-171 BibTeX
Flemming Nielson: Expected forms of data flow analyses. 172-191 BibTeX
Flemming Nielson, Hanne Riis Nielson: Code generation from two-level denotational meta-languages. 192-205 BibTeX
Bengt Nordström: Multilevel functions in Martin-Löf's type theory. 206-221 BibTeX
David A. Schmidt: An implementation from a direct semantics definition. 222-235 BibTeX
Peter Sestoft: The structure of a self-applicable partial evaluator. 236-256 BibTeX
Valentin F. Turchin: Program transformation by supercompilation. 257-281 BibTeX
Philip Wadler: Listlessness is better than laziness II: composing listless functions. 282-305 BibTeX
Mitchell Wand: From interpreter to compiler: a representational derivation. 306-324 BibTeX