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          = {https://doi.org/10.1145/3018882.3020004},
  doi          = {10.1145/3018882.3020004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018888},
  doi          = {10.1145/3018882.3018888},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018889},
  doi          = {10.1145/3018882.3018889},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018893},
  doi          = {10.1145/3018882.3018893},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018885},
  doi          = {10.1145/3018882.3018885},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018883},
  doi          = {10.1145/3018882.3018883},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018892},
  doi          = {10.1145/3018882.3018892},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018890},
  doi          = {10.1145/3018882.3018890},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018891},
  doi          = {10.1145/3018882.3018891},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018884},
  doi          = {10.1145/3018882.3018884},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018886},
  doi          = {10.1145/3018882.3018886},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  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          = {https://doi.org/10.1145/3018882.3018887},
  doi          = {10.1145/3018882.3018887},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  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}
}

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.