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}
}
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.