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 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} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Naoki Nishida, Makishi Yanagisawa, and Karl Gmeiner. On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 39-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{nishida_et_al:OASIcs.WPTE.2014.39, author = {Nishida, Naoki and Yanagisawa, Makishi and Gmeiner, Karl}, 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}, pages = {39--50}, 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.39}, URN = {urn:nbn:de:0030-drops-45850}, doi = {10.4230/OASIcs.WPTE.2014.39}, 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)
David Sabel. Structural Rewriting in the pi-Calculus. In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 51-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{sabel:OASIcs.WPTE.2014.51, author = {Sabel, David}, title = {{Structural Rewriting in the pi-Calculus}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {51--62}, 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.51}, URN = {urn:nbn:de:0030-drops-45827}, doi = {10.4230/OASIcs.WPTE.2014.51}, annote = {Keywords: Process calculi, Rewriting, Semantics} }
Published in: OASIcs, Volume 40, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (2014)
Manfred Schmidt-Schauß and David Sabel. Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report). In First International Workshop on Rewriting Techniques for Program Transformations and Evaluation. Open Access Series in Informatics (OASIcs), Volume 40, pp. 63-74, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{schmidtschau_et_al:OASIcs.WPTE.2014.63, author = {Schmidt-Schau{\ss}, Manfred and Sabel, David}, title = {{Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi}}, booktitle = {First International Workshop on Rewriting Techniques for Program Transformations and Evaluation}, pages = {63--74}, 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.63}, URN = {urn:nbn:de:0030-drops-45839}, doi = {10.4230/OASIcs.WPTE.2014.63}, annote = {Keywords: functional programming, polymorphic typing, contextual equivalence, semantics} }
Published in: LIPIcs, Volume 10, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (2011)
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe. Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity. In 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 10, pp. 267-282, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{nishida_et_al:LIPIcs.RTA.2011.267, author = {Nishida, Naoki and Sakai, Masahiko and Sakabe, Toshiki}, title = {{Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity}}, booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA'11)}, pages = {267--282}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-30-9}, ISSN = {1868-8969}, year = {2011}, volume = {10}, editor = {Schmidt-Schauss, Manfred}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.267}, URN = {urn:nbn:de:0030-drops-31244}, doi = {10.4230/LIPIcs.RTA.2011.267}, annote = {Keywords: conditional term rewriting, program transformation} }
Feedback for Dagstuhl Publishing