Search dblp for Publications

export results for "stream:conf/pdo:"

 download as .bib file

@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},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16446-4},
  doi          = {10.1007/3-540-16446-4},
  isbn         = {3-540-16446-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/1985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Abramsky85,
  author       = {Samson Abramsky},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Strictness analysis and polymorphic invariance},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_1},
  doi          = {10.1007/3-540-16446-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Abramsky85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Bellegarde85,
  author       = {Fran{\c{c}}oise Bellegarde},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Convergent term rewriting systems can be used for program transformation},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {24--41},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_2},
  doi          = {10.1007/3-540-16446-4\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Bellegarde85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/BurnHA85,
  author       = {Geoffrey Livingston Burn and
                  Chris Hankin and
                  Samson Abramsky},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {The theory of strictness analysis for higher order functions},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {42--62},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_3},
  doi          = {10.1007/3-540-16446-4\_3},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/BurnHA85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Christiansen85,
  author       = {Henning Christiansen},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Recognition of generative languages},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {63--81},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_4},
  doi          = {10.1007/3-540-16446-4\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Christiansen85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Ganzinger85,
  author       = {Harald Ganzinger},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Modular first-order specifications of operational semantics},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {82--95},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_5},
  doi          = {10.1007/3-540-16446-4\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Ganzinger85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Giegerich85,
  author       = {Robert Giegerich},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Logic specification of code generation techniques},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {96--111},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_6},
  doi          = {10.1007/3-540-16446-4\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Giegerich85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Hughes85,
  author       = {John Hughes},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Strictness detection in non-flat domains},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {112--135},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_7},
  doi          = {10.1007/3-540-16446-4\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Hughes85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Maurer85,
  author       = {Dieter Maurer},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Strictness computation using special lambda-expressions},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_8},
  doi          = {10.1007/3-540-16446-4\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Maurer85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/MycroftJ85,
  author       = {Alan Mycroft and
                  Neil D. Jones},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {A relational framework for abstract interpretation},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_9},
  doi          = {10.1007/3-540-16446-4\_9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/MycroftJ85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Nielson85,
  author       = {Flemming Nielson},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Expected forms of data flow analyses},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {172--191},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_10},
  doi          = {10.1007/3-540-16446-4\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Nielson85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/NielsonN85,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Code generation from two-level denotational meta-languages},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {192--205},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_11},
  doi          = {10.1007/3-540-16446-4\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/NielsonN85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Nordstrom85,
  author       = {Bengt Nordstr{\"{o}}m},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Multilevel functions in Martin-L{\"{o}}f's type theory},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {206--221},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_12},
  doi          = {10.1007/3-540-16446-4\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Nordstrom85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Schmidt85,
  author       = {David A. Schmidt},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {An implementation from a direct semantics definition},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {222--235},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_13},
  doi          = {10.1007/3-540-16446-4\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Schmidt85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Sestoft85,
  author       = {Peter Sestoft},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {The structure of a self-applicable partial evaluator},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {236--256},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_14},
  doi          = {10.1007/3-540-16446-4\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Sestoft85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Turchin85,
  author       = {Valentin F. Turchin},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Program transformation by supercompilation},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {257--281},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_15},
  doi          = {10.1007/3-540-16446-4\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Turchin85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Wadler85,
  author       = {Philip Wadler},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {Listlessness is better than laziness {II:} composing listless functions},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {282--305},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_16},
  doi          = {10.1007/3-540-16446-4\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Wadler85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdo/Wand85,
  author       = {Mitchell Wand},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {From interpreter to compiler: a representational derivation},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {306--324},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_17},
  doi          = {10.1007/3-540-16446-4\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Wand85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.