Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/wpte:"
download as .bib file
@proceedings{DBLP:journals/corr/abs-1902-07818,
editor = {Joachim Niehren and
David Sabel},
title = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.289},
doi = {10.4204/EPTCS.289},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08419,
author = {Andrei{-}Sebastian Buruiana and
{\c{S}}tefan Ciob{\^{a}}c{\u{a}}},
editor = {Joachim Niehren and
David Sabel},
title = {Reducing Total Correctness to Partial Correctness by a Transformation
of the Language Semantics},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {1--16},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.1},
doi = {10.4204/EPTCS.289.1},
timestamp = {Wed, 29 May 2019 12:12:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08420,
author = {David Sabel},
editor = {Joachim Niehren and
David Sabel},
title = {Automating the Diagram Method to Prove Correctness of Program Transformations},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {17--33},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.2},
doi = {10.4204/EPTCS.289.2},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08421,
author = {Yoshiaki Kanazawa and
Naoki Nishida},
editor = {Joachim Niehren and
David Sabel},
title = {On Transforming Functions Accessing Global Variables into Logically
Constrained Term Rewriting Systems},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {34--52},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.3},
doi = {10.4204/EPTCS.289.3},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08422,
author = {Manfred Schmidt{-}Schau{\ss} and
Nils Dallmeyer},
editor = {Joachim Niehren and
David Sabel},
title = {Optimizing Space of Parallel Processes},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {53--67},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.4},
doi = {10.4204/EPTCS.289.4},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08423,
author = {Naoki Nishida and
Yuya Maeda},
editor = {Joachim Niehren and
David Sabel},
title = {On Transforming Narrowing Trees into Regular Tree Grammars Generating
Ranges of Substitutions},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {68--87},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.5},
doi = {10.4204/EPTCS.289.5},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1802-05862,
editor = {Horatiu Cirstea and
David Sabel},
title = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
year = {2018},
url = {http://arxiv.org/abs/1802.05862},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06492,
author = {Nneka Chinelo Ene and
Maribel Fern{\'{a}}ndez and
Bruno Pinaud},
editor = {Horatiu Cirstea and
David Sabel},
title = {Attributed Hierarchical Port Graphs and Applications},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {2--19},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.2},
doi = {10.4204/EPTCS.265.2},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06493,
author = {Liyi Li and
Elsa L. Gunter},
editor = {Horatiu Cirstea and
David Sabel},
title = {A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {20--34},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.3},
doi = {10.4204/EPTCS.265.3},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06494,
author = {Shinnosuke Mizutani and
Naoki Nishida},
editor = {Horatiu Cirstea and
David Sabel},
title = {Transforming Proof Tableaux of Hoare Logic into Inference Sequences
of Rewriting Induction},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {35--51},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.4},
doi = {10.4204/EPTCS.265.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06495,
author = {Koko Muroya and
Dan R. Ghica},
editor = {Horatiu Cirstea and
David Sabel},
title = {Efficient Implementation of Evaluation Strategies via Token-Guided
Graph Rewriting},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {52--66},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.5},
doi = {10.4204/EPTCS.265.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06496,
author = {Yutaro Nagae and
Masahiko Sakai},
editor = {Horatiu Cirstea and
David Sabel},
title = {Reduced Dependency Spaces for Existential Parameterised Boolean Equation
Systems},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {67--81},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.6},
doi = {10.4204/EPTCS.265.6},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06497,
author = {Tomohiro Sasano and
Naoki Nishida and
Masahiko Sakai and
Tomoya Ueyama},
editor = {Horatiu Cirstea and
David Sabel},
title = {Transforming Dependency Chains of Constrained TRSs into Bounded Monotone
Sequences of Integers},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {82--97},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.7},
doi = {10.4204/EPTCS.265.7},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06498,
author = {Manfred Schmidt{-}Schau{\ss} and
Nils Dallmeyer},
editor = {Horatiu Cirstea and
David Sabel},
title = {Space Improvements and Equivalences in a Functional Core Language},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {98--112},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.8},
doi = {10.4204/EPTCS.265.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CirsteaE17,
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.235},
doi = {10.4204/EPTCS.235},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CirsteaE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Accattoli17,
author = {Beniamino Accattoli},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {The Complexity of Abstract Machines},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.1},
doi = {10.4204/EPTCS.235.1},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Accattoli17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DallmeyerS17,
author = {Nils Dallmeyer and
Manfred Schmidt{-}Schau{\ss}},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {An Environment for Analyzing Space Optimizations in Call-by-Need Functional
Languages},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {78--92},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.6},
doi = {10.4204/EPTCS.235.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DallmeyerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Fujita17,
author = {Ken{-}etsu Fujita},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {On Upper Bounds on the Church-Rosser Theorem},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {16--31},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.2},
doi = {10.4204/EPTCS.235.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Fujita17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Gmeiner17,
author = {Karl Gmeiner},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {Confluence of Conditional Term Rewrite Systems via Transformations},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {32--45},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.3},
doi = {10.4204/EPTCS.235.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gmeiner17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/NagaeSS17,
author = {Yutaro Nagae and
Masahiko Sakai and
Hiroyuki Seki},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {An Extension of Proof Graphs for Disjunctive Parameterised Boolean
Equation Systems},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {46--61},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.4},
doi = {10.4204/EPTCS.235.4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NagaeSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Nakayama0S17,
author = {Ryota Nakayama and
Naoki Nishida and
Masahiko Sakai},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic
Conditional Term Rewriting Systems},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {62--77},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.5},
doi = {10.4204/EPTCS.235.5},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Nakayama0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Guerrieri15,
author = {Giulio Guerrieri},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Head reduction and normalization in a call-by-value lambda-calculus},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {3--17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.3},
doi = {10.4230/OASICS.WPTE.2015.3},
timestamp = {Fri, 03 Feb 2023 10:42:58 +0100},
biburl = {https://dblp.org/rec/conf/rta/Guerrieri15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/PalaciosV15,
author = {Adri{\'{a}}n Palacios and
Germ{\'{a}}n Vidal},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Towards Modelling Actor-Based Concurrency in Term Rewriting},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {19--29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.19},
doi = {10.4230/OASICS.WPTE.2015.19},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/PalaciosV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Pientka15,
author = {Brigitte Pientka},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Mechanizing Meta-Theory in Beluga (Invited Talk)},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {1--1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.1},
doi = {10.4230/OASICS.WPTE.2015.1},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Pientka15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SabelS15,
author = {David Sabel and
Manfred Schmidt{-}Schau{\ss}},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Observing Success in the Pi-Calculus},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {31--46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.31},
doi = {10.4230/OASICS.WPTE.2015.31},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/SabelS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SmetsersME15,
author = {Sjaak Smetsers and
Ken Madlener and
Marko C. J. D. van Eekelen},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Formalizing Bialgebraic Semantics in {PVS} 6.0},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {47--61},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.47},
doi = {10.4230/OASICS.WPTE.2015.47},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/SmetsersME15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/X15,
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Frontmatter, Table of Contents, Preface, Workshop Organization},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {i--xvi},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.i},
doi = {10.4230/OASICS.WPTE.2015.I},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/X15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2015wpte,
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-94-1},
isbn = {978-3-939897-94-1},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2015wpte.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Gill14,
author = {Andrew Gill},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {{HERMIT:} An Equational Reasoning Model to Implementation Rewrite
System for Haskell (Invited Talk)},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {1--1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.1},
doi = {10.4230/OASICS.WPTE.2014.1},
timestamp = {Fri, 03 Feb 2023 10:44:28 +0100},
biburl = {https://dblp.org/rec/conf/rta/Gill14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Gmeiner014,
author = {Karl Gmeiner and
Naoki Nishida},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Notes on Structure-Preserving Transformations of Conditional Term
Rewrite Systems},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {3--14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.3},
doi = {10.4230/OASICS.WPTE.2014.3},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Gmeiner014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ManskyG14,
author = {William Mansky and
Elsa L. Gunter},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Verifying Optimizations for Concurrent Programs},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {15--26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.15},
doi = {10.4230/OASICS.WPTE.2014.15},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ManskyG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NagashimaKSN14,
author = {Masanori Nagashima and
Tomofumi Kato and
Masahiko Sakai and
Naoki Nishida},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Inverse Unfold Problem and Its Heuristic Solving},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {27--38},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.27},
doi = {10.4230/OASICS.WPTE.2014.27},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NagashimaKSN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NishidaYG14,
author = {Naoki Nishida and
Makishi Yanagisawa and
Karl Gmeiner},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {On Proving Soundness of the Computationally Equivalent Transformation
for Normal Conditional Term Rewriting Systems by Using Unravelings},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {39--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.39},
doi = {10.4230/OASICS.WPTE.2014.39},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/NishidaYG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Sabel14,
author = {David Sabel},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Structural Rewriting in the pi-Calculus},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {51--62},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.51},
doi = {10.4230/OASICS.WPTE.2014.51},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Sabel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Schmidt-SchaussS14a,
author = {Manfred Schmidt{-}Schau{\ss} and
David Sabel},
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically
Typed Calculi (Preliminary Report)},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
pages = {63--74},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.63},
doi = {10.4230/OASICS.WPTE.2014.63},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Schmidt-SchaussS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/X14,
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {Frontmatter, Table of Contents, Preface, Workshop Organization},
booktitle = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/OASIcs.WPTE.2014.i},
doi = {10.4230/OASICS.WPTE.2014.I},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/X14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2014wpte,
editor = {Manfred Schmidt{-}Schau{\ss} and
Masahiko Sakai and
David Sabel and
Yuki Chiba},
title = {First International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria},
series = {OASIcs},
volume = {40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
isbn = {978-3-939897-70-5},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2014wpte.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-05-21 15:34 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:
