VSL Logo
FLoC Logo

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

Vienna, Austria, 13th July 2014

Accepted Papers and Extended Abstracts

(c) 2013 KIST, Imprint, Last modified: $Author: sabel $, $Date: 2014/05/31 09:47:27 $