OASIcs, Volume 46
WPTE 2015, July 2, 2015, Warsaw, Poland
Editors: Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, and Manfred Schmidt-Schauß
OASIcs, Volume 40
WPTE 2014, July 13, 2014, Vienna, Austria
Editors: Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, and Yuki Chiba
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Proceedings{chiba_et_al:OASIcs.WPTE.2015, title = {{OASIcs, Volume 46, WPTE'15, Complete Volume}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015}, URN = {urn:nbn:de:0030-drops-52644}, doi = {10.4230/OASIcs.WPTE.2015}, annote = {Keywords: Conference proceedings, Concurrent Programming, Formal Definitions and Theory, Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Deduction and Theorem Proving} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. i-xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{chiba_et_al:OASIcs.WPTE.2015.i, author = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, pages = {i--xvi}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.i}, URN = {urn:nbn:de:0030-drops-51765}, doi = {10.4230/OASIcs.WPTE.2015.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Brigitte Pientka. Mechanizing Meta-Theory in Beluga (Invited Talk). In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{pientka:OASIcs.WPTE.2015.1, author = {Pientka, Brigitte}, title = {{Mechanizing Meta-Theory in Beluga}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, pages = {1--1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.1}, URN = {urn:nbn:de:0030-drops-51770}, doi = {10.4230/OASIcs.WPTE.2015.1}, annote = {Keywords: Type systems, Dependent Types, Logical Frameworks} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Giulio Guerrieri. Head reduction and normalization in a call-by-value lambda-calculus. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. 3-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{guerrieri:OASIcs.WPTE.2015.3, author = {Guerrieri, Giulio}, 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 2015)}, pages = {3--17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.3}, URN = {urn:nbn:de:0030-drops-51789}, doi = {10.4230/OASIcs.WPTE.2015.3}, annote = {Keywords: sequentialization, lambda-calculus, sigma-reduction, call-by-value, head reduction, internal reduction, (strong) normalization, evaluation, confluence} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Adrián Palacios and Germán Vidal. Towards Modelling Actor-Based Concurrency in Term Rewriting. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. 19-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{palacios_et_al:OASIcs.WPTE.2015.19, author = {Palacios, Adri\'{a}n and Vidal, Germ\'{a}n}, title = {{Towards Modelling Actor-Based Concurrency in Term Rewriting}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, pages = {19--29}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.19}, URN = {urn:nbn:de:0030-drops-51792}, doi = {10.4230/OASIcs.WPTE.2015.19}, annote = {Keywords: concurrency, actor model, rewriting} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
David Sabel and Manfred Schmidt-Schauß. Observing Success in the Pi-Calculus. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. 31-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{sabel_et_al:OASIcs.WPTE.2015.31, author = {Sabel, David and Schmidt-Schau{\ss}, Manfred}, title = {{Observing Success in the Pi-Calculus}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, pages = {31--46}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.31}, URN = {urn:nbn:de:0030-drops-51808}, doi = {10.4230/OASIcs.WPTE.2015.31}, annote = {Keywords: Concurrency, Process calculi, Pi-calculus, Rewriting, Semantics} }
Published in: OASIcs, Volume 46, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen. Formalizing Bialgebraic Semantics in PVS 6.0. In 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015). Open Access Series in Informatics (OASIcs), Volume 46, pp. 47-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{smetsers_et_al:OASIcs.WPTE.2015.47, author = {Smetsers, Sjaak and Madlener, Ken and van Eekelen, Marko}, title = {{Formalizing Bialgebraic Semantics in PVS 6.0}}, booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)}, pages = {47--61}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-94-1}, ISSN = {2190-6807}, year = {2015}, volume = {46}, editor = {Chiba, Yuki and Escobar, Santiago and Nishida, Naoki and Sabel, David and Schmidt-Schau{\ss}, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2015.47}, URN = {urn:nbn:de:0030-drops-51811}, doi = {10.4230/OASIcs.WPTE.2015.47}, annote = {Keywords: operational semantics, denotational semantics, bialgebras, distributive laws, adequacy, theorem proving, PVS, WHILE} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Proceedings{schmidtschau_et_al:OASIcs.WPTE.2014, title = {{OASIcs, Volume 40, WPTE'14, Complete Volume}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014}, URN = {urn:nbn:de:0030-drops-46216}, doi = {10.4230/OASIcs.WPTE.2014}, annote = {Keywords: Conference proceedings, Formal Definitions and Theory, Translator writing systems and compiler generators, Specifying and Verifying and Reasoning about Programs, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. i-xv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{schmidtschau_et_al:OASIcs.WPTE.2014.i, author = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {i--xv}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.i}, URN = {urn:nbn:de:0030-drops-45814}, doi = {10.4230/OASIcs.WPTE.2014.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Andrew Gill. HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk). In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{gill:OASIcs.WPTE.2014.1, author = {Gill, Andrew}, title = {{HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {1--1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.1}, URN = {urn:nbn:de:0030-drops-45888}, doi = {10.4230/OASIcs.WPTE.2014.1}, annote = {Keywords: Program Transformation, Equational Reasoning, Optimization} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Karl Gmeiner and Naoki Nishida. Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 3-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{gmeiner_et_al:OASIcs.WPTE.2014.3, author = {Gmeiner, Karl and Nishida, Naoki}, title = {{Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {3--14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.3}, URN = {urn:nbn:de:0030-drops-45871}, doi = {10.4230/OASIcs.WPTE.2014.3}, annote = {Keywords: conditional term rewriting, unraveling, condition elimination} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
William Mansky and Elsa L. Gunter. Verifying Optimizations for Concurrent Programs. In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 15-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{mansky_et_al:OASIcs.WPTE.2014.15, author = {Mansky, William and Gunter, Elsa L.}, title = {{Verifying Optimizations for Concurrent Programs}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {15--26}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.15}, URN = {urn:nbn:de:0030-drops-45869}, doi = {10.4230/OASIcs.WPTE.2014.15}, annote = {Keywords: optimizing compilers, interactive theorem proving, program transformations, temporal logic, relaxed memory models} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, and Naoki Nishida. Inverse Unfold Problem and Its Heuristic Solving. In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 27-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{nagashima_et_al:OASIcs.WPTE.2014.27, author = {Nagashima, Masanori and Kato, Tomofumi and Sakai, Masahiko and Nishida, Naoki}, title = {{Inverse Unfold Problem and Its Heuristic Solving}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {27--38}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-70-5}, ISSN = {2190-6807}, year = {2014}, volume = {40}, editor = {Schmidt-Schau{\ss}, Manfred and Sakai, Masahiko and Sabel, David and Chiba, Yuki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WPTE.2014.27}, URN = {urn:nbn:de:0030-drops-45848}, doi = {10.4230/OASIcs.WPTE.2014.27}, annote = {Keywords: program transformation, unfolding, conditional term rewriting system} }
Feedback for Dagstuhl Publishing