Conferences in DBLP

Programs as Data Objects (pdo)
1985 (conf/pdo/1985)

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