First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) : [frontmatter, table of contents, preface, workshop organization]

  • This volume contains the papers presented at the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) which was held on July 13, 2014 in Vienna, Austria during the Vienna Summer of Logic 2014 (VSL 2014) as a workshop of the Sixth Federated Logic Conference (FLoC 2014). WPTE 2014 was affiliated with the 25th International Conference on Rewriting Techniques and Applications joined with the 12th International Conference on Typed Lambda Calculi and Applications (RTA/TLCA 2014).

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Parent Title (German):OASIcs - OpenAccess Series in Informatics ; Volume 40
Place of publication:Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Editor:Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba
Document Type:Part of a Book
Year of Completion:2014
Year of first Publication:2014
Publishing Institution:Universitätsbibliothek Johann Christian Senckenberg
Creating Corporation:WPTE’14, July 13, 2014, Vienna, Austria
Release Date:2018/04/19
Tag:Frontmatter; Preface; Table of Contents; Workshop Organization
Page Number:15
First Page:i
Last Page:xv
This work is licensed under a Creative Commons Attribution 3.0 Unported license (CC-BY 3.0): In brief, this license authorizes each and everybody to share (to copy, distribute and transmit) the work under the following conditions, without impairing or restricting the authors’ moral rights: Attribution: The work must be attributed to its authors.
Institutes:Informatik und Mathematik / Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoCreative Commons - Namensnennung 3.0