Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea (LORIA, Universit\'e de Lorraine, France), David Sabel, (Goethe-University Frankfurt am Main, Germany)
TL;DR
This paper compiles the proceedings of WPTE 2017, showcasing recent advances in rewriting techniques for program transformations and evaluation, emphasizing formal methods and their applications in computation and deduction.
Contribution
It presents a collection of research papers from WPTE 2017, highlighting new formal rewriting techniques and their role in program transformation and evaluation.
Findings
Introduction of novel rewriting methods
Applications to program transformation
Enhanced formal frameworks for deduction
Abstract
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.