Search dblp for Publications

export results for "toc:db/conf/pepm/pepm2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pepm/BerezunJ17,
  author    = {Daniil Berezun and
               Neil D. Jones},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Compiling untyped lambda calculus to lower-level code by game semantics
               and partial evaluation (invited paper)},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {1--11},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3020004},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/BerezunJ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FritzH17,
  author    = {Levin Fritz and
               Jurriaan Hage},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Cost versus precision for approximate typing for Python},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {89--98},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018888},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/FritzH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HengleinR17,
  author    = {Fritz Henglein and
               Ulrik Terp Rasmussen},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {{PEG} parsing in less space using progressive tabling and dynamic
               analysis},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {35--46},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018889},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/HengleinR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KatsushimaK17,
  author    = {Tatsuya Katsushima and
               Oleg Kiselyov},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Language-integrated query with ordering, grouping and outer joins
               (poster paper)},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {123--124},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018893},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/KatsushimaK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KlinikHJP17,
  author    = {Markus Klinik and
               Jurriaan Hage and
               Jan Martin Jansen and
               Rinus Plasmeijer},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Predicting resource consumption of higher-order workflows},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {99--110},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018885},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/KlinikHJP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaA17,
  author    = {Kazutaka Matsuda and
               Kazuyuki Asada},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {A functional reformulation of UnCAL graph-transformations: or, graph
               transformation as graph reduction},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {71--82},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018883},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/MatsudaA17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsushitaS17,
  author    = {Tsubasa Matsushita and
               Isao Sasano},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Detecting code clones with gaps by function applications},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {12--22},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018892},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/MatsushitaS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/NarasimhanRL17,
  author    = {Krishna Narasimhan and
               Christoph Reichenbach and
               Julia Lawall},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Interactive data representation migration: exploiting program dependence
               to aid program transformation},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {47--58},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018890},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/NarasimhanRL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RompfB17,
  author    = {Tiark Rompf and
               Kevin J. Brown},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Functional parallels of sequential imperatives (short paper)},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {83--88},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018891},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/RompfB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SerranoH17,
  author    = {Alejandro Serrano and
               Jurriaan Hage},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Lightweight soundness for towers of language extensions},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {23--34},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018884},
  timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/SerranoH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SuwaT0I17,
  author    = {Takashi Suwa and
               Takeshi Tsukada and
               Naoki Kobayashi and
               Atsushi Igarashi},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Verification of code generators via higher-order model checking},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {59--70},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018886},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/SuwaT0I17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WolffH17,
  author    = {Ivo Gabe de Wolff and
               Jurriaan Hage},
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Refining types using type guards in TypeScript},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {111--122},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018887},
  timestamp = {Wed, 28 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/WolffH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2017,
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3018882},
  doi       = {10.1145/3018882},
  isbn      = {978-1-4503-4721-1},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics