DeepAI AI Chat
Log In Sign Up

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

02/16/2018
by   Horatiu Cirstea, et al.
0

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).

READ FULL TEXT
10/09/2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Fifteenth International Work...
11/15/2021

Proceedings First Workshop on Applicable Formal Methods

This volume contains the proceedings of the 1st International Workshop o...
02/21/2019

Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

This volume contains the formal proceedings of the 5th International Wor...
04/02/2016

A Formal Calculus for International Relations Computation and Evaluation

This publication presents a relation computation or calculus for interna...
07/26/2018

Judging the Judges: Evaluating the Performance of International Gymnastics Judges

Judging a gymnastics routine is a noisy process, and the performance of ...
07/02/2018

Proceedings of the 9th International Workshop on Physics and Computation

The 9th International Workshop on Physics and Computation (PC 2018) was ...
12/20/2019

Proceedings Fifth Workshop on Formal Integrated Development Environment

This volume contains the proceedings of F-IDE 2019, the fifth internatio...