WPTE@RTA/TLCA

Keyphrases

Publications

2015

volume 46, 2015

2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland WPTE@RTA/TLCA 46 (2015)

2014

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

volume 40, 2014

First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2014, July 13, 2014, Vienna, Austria WPTE@RTA/TLCA 40 (2014)