Abstract is missing.
- Frontmatter, Table of Contents, Preface, Workshop Organization [doi]
- HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk)Andrew Gill. 1-1 [doi]
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite SystemsKarl Gmeiner, Naoki Nishida 0001. 3-14 [doi]
- Verifying Optimizations for Concurrent ProgramsWilliam Mansky, Elsa L. Gunter. 15-26 [doi]
- Inverse Unfold Problem and Its Heuristic SolvingMasanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida 0001. 27-38 [doi]
- On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using UnravelingsNaoki Nishida, Makishi Yanagisawa, Karl Gmeiner. 39-50 [doi]
- Structural Rewriting in the pi-CalculusDavid Sabel. 51-62 [doi]
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)Manfred Schmidt-Schauß, David Sabel. 63-74 [doi]