WPTE 2014 July 13, 2014 - Vienna, Austria

First International Workshop on Rewriting Techniques for Program Transformations and Evaluation



Manfred Schmidt-Schauß and Masahiko Sakai and David Sabel and Yuki Chiba (Eds.)
ISBN 978-3-939897-70-5, OASICS Vol. 40 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Authors
  • Chiba, Yuki
  • Gill, Andrew
  • Gmeiner, Karl
  • Gunter, Elsa L.
  • Kato, Tomofumi
  • Mansky, William
  • Nagashima, Masanori
  • Nishida, Naoki
  • Sabel, David
  • Sakai, Masahiko
  • Schmidt-Schauß, Manfred
  • Yanagisawa, Makishi

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Schmidt-Schauß, Manfred ; Sakai, Masahiko ; Sabel, David ; Chiba, Yuki

    Abstract | Document (356 KB) | BibTeX

    HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk)
    Authors: Gill, Andrew

    Abstract | Document (256 KB) | BibTeX

    Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
    Authors: Gmeiner, Karl ; Nishida, Naoki

    Abstract | Document (433 KB) | BibTeX

    Verifying Optimizations for Concurrent Programs
    Authors: Mansky, William ; Gunter, Elsa L.

    Abstract | Document (442 KB) | BibTeX

    Inverse Unfold Problem and Its Heuristic Solving
    Authors: Nagashima, Masanori ; Kato, Tomofumi ; Sakai, Masahiko ; Nishida, Naoki

    Abstract | Document (529 KB) | BibTeX

    On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings
    Authors: Nishida, Naoki ; Yanagisawa, Makishi ; Gmeiner, Karl

    Abstract | Document (553 KB) | BibTeX

    Structural Rewriting in the pi-Calculus
    Authors: Sabel, David

    Abstract | Document (541 KB) | BibTeX

    Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
    Authors: Schmidt-Schauß, Manfred ; Sabel, David

    Abstract | Document (528 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI