Janis Voigtlaender | 20 Dec 22:30 2013
Picon

CFP - Rewriting Techniques for Program Transformations and Evaluation 2014


                                CALL FOR PAPERS

                       First International Workshop on

    Rewriting Techniques for Program Transformations and Evaluation 
(WPTE'14)

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

               http://www.ki.informatik.uni-frankfurt.de/WPTE14

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
   properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program 
(Continue reading)


Gmane