Janis Voigtlaender | 20 Dec 22:30 2013

CFP - Rewriting Techniques for Program Transformations and Evaluation 2014

                                CALL FOR PAPERS

                       First International Workshop on

    Rewriting Techniques for Program Transformations and Evaluation 

                         affiliated with RTA/TLCA 2014
       (a FLoC 2014 workshop, FLoC is part of the Vienna Summer of Logic 
                        13th July 2014, Vienna, Austria


Aims and Scope
The aim of WPTE is to bring together the researchers working on
program transformations, evaluation, and operationally based programming
language semantics, using rewriting methods, in order to share the
techniques and recent developments and to exchange ideas to encourage
further activation of research in this area.

Topics of interest and in the scope of WPTE are:

* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence and other
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program 
(Continue reading)