default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pepm/pepm2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/pepm/AlbertGP10,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {{PET:} a partial evaluation-based test case generation tool for Java
bytecode},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {25--28},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706363},
doi = {10.1145/1706356.1706363},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlpuenteBBF10,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Michele Baggi and
Moreno Falaschi},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {A fold/unfold transformation framework for rewrite theories extended
to {CCT}},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {43--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706367},
doi = {10.1145/1706356.1706367},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AlpuenteBBF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AndersonK10,
author = {Hugh Anderson and
Siau{-}Cheng Khoo},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Regular approximation and bounded domains for size-change termination},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {53--62},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706369},
doi = {10.1145/1706356.1706369},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AndersonK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Augustsson10,
author = {Lennart Augustsson},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {O, partial evaluator, where art thou?},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {1--2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706357},
doi = {10.1145/1706356.1706357},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Augustsson10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BoustaniH10,
author = {Nabil El Boustani and
Jurriaan Hage},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Corrective hints for type incorrect generic Java programs},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {5--14},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706360},
doi = {10.1145/1706356.1706360},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BoustaniH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BrownT10,
author = {Christopher Brown and
Simon J. Thompson},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Clone detection and elimination for Haskell},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {111--120},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706378},
doi = {10.1145/1706356.1706378},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BrownT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ContejeanPUCPF10,
author = {Evelyne Contejean and
Andrey Paskevich and
Xavier Urbain and
Pierre Courtieu and
Olivier Pons and
Julien Forest},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {A3PAT, an approach for certified automated termination proofs},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706370},
doi = {10.1145/1706356.1706370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/ContejeanPUCPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Haftmann10,
author = {Florian Haftmann},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {From higher-order logic to Haskell: there and back again},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {155--158},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706385},
doi = {10.1145/1706356.1706385},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Haftmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Henglein10,
author = {Fritz Henglein},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Optimizing relational algebra operations using generic equivalence
discriminators and lazy products},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {73--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706372},
doi = {10.1145/1706356.1706372},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Henglein10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hofmann10,
author = {Martin Hofmann},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {{IGOR2} - an analytical inductive functional programming system: tool
demo},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {29--32},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706364},
doi = {10.1145/1706356.1706364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Hofmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HofmannK10,
author = {Martin Hofmann and
Emanuel Kitzelmann},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {{I/O} guided detection of list catamorphisms: towards problem specific
use of program templates in {IP}},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {93--100},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706375},
doi = {10.1145/1706356.1706375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HofmannK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HoldermansH10,
author = {Stefan Holdermans and
Jurriaan Hage},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Making "stricterness" more relevant},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {121--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706379},
doi = {10.1145/1706356.1706379},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HoldermansH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LakhotiaBSM10,
author = {Arun Lakhotia and
Davidson R. Boccardo and
Anshuman Singh and
Aleardo Manacero},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Context-sensitive analysis of obfuscated x86 executables},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {131--140},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706381},
doi = {10.1145/1706356.1706381},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LakhotiaBSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiO10,
author = {Xin Li and
Mizuhito Ogawa},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Conditional weighted pushdown systems and applications},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {141--150},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706382},
doi = {10.1145/1706356.1706382},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MagalhaesHJL10,
author = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
Stefan Holdermans and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Optimizing generics is easy!},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {33--42},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706366},
doi = {10.1145/1706356.1706366},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MagalhaesHJL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Miljenovic10,
author = {Ivan Lazar Miljenovic},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {The SourceGraph program},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {151--154},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706384},
doi = {10.1145/1706356.1706384},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Miljenovic10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MossP10,
author = {Andrew Moss and
Dan Page},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Bridging the gap between symbolic and efficient {AES} implementations},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {101--110},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706376},
doi = {10.1145/1706356.1706376},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MossP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RiescoR10,
author = {Adri{\'{a}}n Riesco and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Programming with singular and plural non-deterministic functions},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {83--92},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706373},
doi = {10.1145/1706356.1706373},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/RiescoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RudolphT10,
author = {Johannes Rudolph and
Peter Thiemann},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Mnemonics: type-safe bytecode generation at run time},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {15--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706361},
doi = {10.1145/1706356.1706361},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/RudolphT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Siek10,
author = {Jeremy G. Siek},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {General purpose languages should be metalanguages},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {3--4},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706358},
doi = {10.1145/1706356.1706358},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Siek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2010,
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1706356},
isbn = {978-1-60558-727-1},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2010.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.
retrieved on 2024-10-07 03:27 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:
