HTML Export for WPTE 2014

Copy to Clipboard Download

<h2>OASIcs, Volume 40, WPTE 2014</h2>
<ul>
<li>
    <span class="authors">Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, and Yuki Chiba</span>
    <span class="title">OASIcs, Volume 40, WPTE&#039;14, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014">10.4230/OASIcs.WPTE.2014</a>
</li>
<li>
    <span class="authors">Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, and Yuki Chiba</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.i">10.4230/OASIcs.WPTE.2014.i</a>
</li>
<li>
    <span class="authors">Andrew Gill</span>
    <span class="title">HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.1">10.4230/OASIcs.WPTE.2014.1</a>
</li>
<li>
    <span class="authors">Karl Gmeiner and Naoki Nishida</span>
    <span class="title">Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.3">10.4230/OASIcs.WPTE.2014.3</a>
</li>
<li>
    <span class="authors">William Mansky and Elsa L. Gunter</span>
    <span class="title">Verifying Optimizations for Concurrent Programs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.15">10.4230/OASIcs.WPTE.2014.15</a>
</li>
<li>
    <span class="authors">Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, and Naoki Nishida</span>
    <span class="title">Inverse Unfold Problem and Its Heuristic Solving</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.27">10.4230/OASIcs.WPTE.2014.27</a>
</li>
<li>
    <span class="authors">Naoki Nishida, Makishi Yanagisawa, and Karl Gmeiner</span>
    <span class="title">On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.39">10.4230/OASIcs.WPTE.2014.39</a>
</li>
<li>
    <span class="authors">David Sabel</span>
    <span class="title">Structural Rewriting in the pi-Calculus</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.51">10.4230/OASIcs.WPTE.2014.51</a>
</li>
<li>
    <span class="authors">Manfred Schmidt-Schauß and David Sabel</span>
    <span class="title">Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WPTE.2014.63">10.4230/OASIcs.WPTE.2014.63</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode