default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st WPTE@RTA 2014: Vienna, Austria
- Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba:
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria. OASIcs 40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-70-5 - Frontmatter, Table of Contents, Preface, Workshop Organization.
- Andrew Gill:
HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk). 1-1 - Karl Gmeiner, Naoki Nishida:
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. 3-14 - William Mansky, Elsa L. Gunter:
Verifying Optimizations for Concurrent Programs. 15-26 - Masanori Nagashima, Tomofumi Kato, Masahiko Sakai
, Naoki Nishida:
Inverse Unfold Problem and Its Heuristic Solving. 27-38 - Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner:
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. 39-50 - David Sabel:
Structural Rewriting in the pi-Calculus. 51-62 - Manfred Schmidt-Schauß, David Sabel:
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report). 63-74
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
