Team: João Alexandre Saraiva    
Abstract: In this project, we intend to continue the work of both teams on manipulating circular programs in a calculational form. In particular, we want to be able to improve the efficiency of a circular program, by transforming it into a strict (non circular) program: we call this technique strictification. For that purpose we propose to define a (formaly proved correct) transformation rule.