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
|
Privacy