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/pepm2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/pepm/AktemurKKS13,
author = {Baris Aktemur and
Yukiyoshi Kameyama and
Oleg Kiselyov and
Chung{-}chieh Shan},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Shonan challenge for generative programming: short position paper},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {147--154},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426917},
doi = {10.1145/2426890.2426917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AktemurKKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlpuenteFV13,
author = {Mar{\'{\i}}a Alpuente and
Marco A. Feli{\'{u}} and
Alicia Villanueva},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Automatic inference of specifications using matching logic},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {127--136},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426914},
doi = {10.1145/2426890.2426914},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AlpuenteFV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AngelisFPP13,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Verifying programs via iterated specialization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {43--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426899},
doi = {10.1145/2426890.2426899},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AngelisFPP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CarbinKMR13,
author = {Michael Carbin and
Deokhwan Kim and
Sasa Misailovic and
Martin C. Rinard},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Verified integrity properties for safe approximate program transformations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {63--66},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426901},
doi = {10.1145/2426890.2426901},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CarbinKMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CominiT13,
author = {Marco Comini and
Luca Torella},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {TRSynth: a tool for automatic inference of term equivalence in left-linear
term rewriting systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {67--70},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426903},
doi = {10.1145/2426890.2426903},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CominiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DevrieseSCP13,
author = {Dominique Devriese and
Ilya Sergey and
Dave Clarke and
Frank Piessens},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Fixing idioms: a recursion primitive for applicative DSLs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {97--106},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426910},
doi = {10.1145/2426890.2426910},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DevrieseSCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Garcia-PerezN13,
author = {{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Pablo Nogueira},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {A syntactic and functional correspondence between reduction semantics
and reduction-free full normalisers},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {107--116},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426911},
doi = {10.1145/2426890.2426911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Garcia-PerezN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hu13,
author = {Zhenjiang Hu},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Practical aspects of bidirectional graph transformations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {1--2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426892},
doi = {10.1145/2426890.2426892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Hu13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lopez-FraguasM13,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Enrique Martin{-}Martin},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Typing as functional-logic evaluation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {23--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426896},
doi = {10.1145/2426890.2426896},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Lopez-FraguasM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MartinezVP13,
author = {Bruno Martinez and
Marcos Viera and
Alberto Pardo},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Just do it while compiling!: fast extensible records in haskell},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {77--86},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426908},
doi = {10.1145/2426890.2426908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MartinezVP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/OliveiraL13,
author = {Bruno C. d. S. Oliveira and
Andres L{\"{o}}h},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Abstract syntax graphs for domain specific languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {87--96},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426909},
doi = {10.1145/2426890.2426909},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/OliveiraL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SagonasST13,
author = {Konstantinos Sagonas and
Josep Silva and
Salvador Tamarit},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Precise explanation of success typing errors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426897},
doi = {10.1145/2426890.2426897},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SagonasST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SatoUK13,
author = {Ryosuke Sato and
Hiroshi Unno and
Naoki Kobayashi},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Towards a scalable software model checker for higher-order programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {53--62},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426900},
doi = {10.1145/2426890.2426900},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SatoUK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ServettoZ13,
author = {Marco Servetto and
Elena Zucca},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {A meta-circular language for active libraries},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {117--126},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426913},
doi = {10.1145/2426890.2426913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/ServettoZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Simon13,
author = {Axel Simon},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Deriving a complete type inference for hindley-milner and vector sizes
using expansion},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {13--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426895},
doi = {10.1145/2426890.2426895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Simon13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SulzmannNZ13,
author = {Martin Sulzmann and
J{\"{u}}rgen Nicklisch{-}Franken and
Axel Zechner},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Traceability and evidence of correctness of {EDSL} abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {71--74},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426904},
doi = {10.1145/2426890.2426904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SulzmannNZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SunCZ13,
author = {Qiang Sun and
Yuting Chen and
Jianjun Zhao},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Constraint-based locality analysis for {X10} programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {137--146},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426915},
doi = {10.1145/2426890.2426915},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SunCZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Thiemann13,
author = {Peter Thiemann},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Partially static operations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {75--76},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426906},
doi = {10.1145/2426890.2426906},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Thiemann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/WeijersHH13,
author = {Jeroen Weijers and
Jurriaan Hage and
Stefan Holdermans},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Security type error diagnosis for higher-order, polymorphic languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {3--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426894},
doi = {10.1145/2426890.2426894},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/WeijersHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2013,
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2426890},
isbn = {978-1-4503-1842-6},
timestamp = {Fri, 18 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/2013.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-06-04 07:01 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:
