<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">João Paulo Fernandes</style></author><author><style face="normal" font="default" size="100%">Alberto Pardo</style></author><author><style face="normal" font="default" size="100%">João Alexandre Saraiva</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A shortcut fusion rule for circular program calculation</style></title><secondary-title><style face="normal" font="default" size="100%">Haskell Workshop</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jpaulo/files/hw07.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Freiburg, Germany</style></pub-location><pages><style face="normal" font="default" size="100%">95-106</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Circular programs are a powerful technique to express multiple traversal algorithms as a single traversal function in a lazy setting. In this paper, we present a shortcut deforestation technique to calculate circular programs. The technique we propose takes as input the composition of two functions, such that the first builds an intermediate structure and some additional context information which are then processed by the second one, to produce the final result. Our transformation into circular programs achieves intermediate structure deforestation and multiple traversal elimination. Furthermore, the calculated programs preserve the termination properties of the original ones.&lt;/p&gt;
</style></abstract></record></records></xml>