OASIcs, Volume 40, WPTE 2014

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