Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pepm/pepm2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/pepm/0008E14,
author = {Sheng Chen and
Martin Erwig},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Early detection of type errors in {C++} templates},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {133--144},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543731},
doi = {10.1145/2543728.2543731},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/0008E14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AdamsFM14,
author = {Michael D. Adams and
Andrew Farmer and
Jos{\'{e}} Pedro Magalh{\~{a}}es},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Optimizing {SYB} is easy!},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {71--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543730},
doi = {10.1145/2543728.2543730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AdamsFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BransenDS14,
author = {Jeroen Bransen and
Atze Dijkstra and
S. Doaitse Swierstra},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Lazy stateless incremental evaluation machinery for attribute grammars},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {145--156},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543735},
doi = {10.1145/2543728.2543735},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BransenDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CheneyLRW14,
author = {James Cheney and
Sam Lindley and
Gabriel Radanne and
Philip Wadler},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Effective quotation: relating approaches to language-integrated query},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {15--26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543738},
doi = {10.1145/2543728.2543738},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CheneyLRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CosteaSD14,
author = {Andreea Costea and
Asankhaya Sharma and
Cristina David},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {HIPimm: verifying granular immutability guarantees},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {189--194},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543743},
doi = {10.1145/2543728.2543743},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CosteaSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Fahndrich14,
author = {Manuel F{\"{a}}hndrich},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Lessons from a web-based {IDE} and runtime},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {1--2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543746},
doi = {10.1145/2543728.2543746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Fahndrich14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FarmerSG14,
author = {Andrew Farmer and
Christian H{\"{o}}ner zu Siederdissen and
Andy Gill},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {The {HERMIT} in the stream: fusing stream fusion's concatMap},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {97--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543736},
doi = {10.1145/2543728.2543736},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/FarmerSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Garcia-PerezNS14,
author = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Pablo Nogueira and
Ilya Sergey},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Deriving interpretations of the gradually-typed lambda calculus},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {157--168},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543742},
doi = {10.1145/2543728.2543742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Garcia-PerezNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HanusS14,
author = {Michael Hanus and
Fabian Skrlac},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {A modular and generic analysis server system for functional logic
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {181--188},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543744},
doi = {10.1145/2543728.2543744},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/HanusS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KameyamaKS14,
author = {Yukiyoshi Kameyama and
Oleg Kiselyov and
Chung{-}chieh Shan},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Combinators for impure yet hygienic code generation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {3--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543740},
doi = {10.1145/2543728.2543740},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/KameyamaKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KerneisSH14,
author = {Gabriel Kerneis and
Charlie Shepherd and
Stefan Hajnoczi},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {{QEMU/CPC:} static analysis and {CPS} conversion for safe, portable,
and efficient coroutines},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {83--94},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543733},
doi = {10.1145/2543728.2543733},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/KerneisSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeatherJLS14,
author = {Sean Leather and
Johan Jeuring and
Andres L{\"{o}}h and
Bram Schuur},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Type-changing rewriting and semantics-preserving transformation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {109--120},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543734},
doi = {10.1145/2543728.2543734},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LeatherJLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiTSF14,
author = {Huiqing Li and
Simon J. Thompson and
Pablo Lamela Seijas and
Miguel Angel Francisco},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Automating property-based testing of evolving web services},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {169--180},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543741},
doi = {10.1145/2543728.2543741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiTSF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MartinsSFW14,
author = {Pedro Martins and
Jo{\~{a}}o Saraiva and
Jo{\~{a}}o Paulo Fernandes and
Eric Van Wyk},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Generating attribute grammar-based bidirectional transformations from
rewrite rules},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {63--70},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543745},
doi = {10.1145/2543728.2543745},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MartinsSFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MiaoS14,
author = {Weiyu Miao and
Jeremy G. Siek},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Compile-time reflection and metaprogramming for Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {27--38},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543739},
doi = {10.1145/2543728.2543739},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MiaoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PachecoHF14,
author = {Hugo Pacheco and
Zhenjiang Hu and
Sebastian Fischer},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Monadic combinators for "Putback" style bidirectional programming},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {39--50},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543737},
doi = {10.1145/2543728.2543737},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/PachecoHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PayetS14,
author = {{\'{E}}tienne Payet and
Fausto Spoto},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {An operational semantics for android activities},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {121--132},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543748},
doi = {10.1145/2543728.2543748},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/PayetS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Scholz14,
author = {Sven{-}Bodo Scholz},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Partial evaluation as universal compiler tool: experiences from the
{SAC} Eco system},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {95--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543747},
doi = {10.1145/2543728.2543747},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Scholz14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WangN14,
author = {Meng Wang and
Shayan Najd},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Semantic bidirectionalization revisited},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {51--62},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543729},
doi = {10.1145/2543728.2543729},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/WangN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2014,
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2543728},
isbn = {978-1-4503-2619-3},
timestamp = {Thu, 09 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 07:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
