%0 Journal Article %1 journals/cys/PoloLR23 %A Polo, Axel Suárez %A de Jesús Lavalle-Martínez, José %A Rebolledo, Iván Molina %D 2023 %J Computación y Sistemas (CyS) %K dblp %N 1 %T Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions. %U http://dblp.uni-trier.de/db/journals/cys/cys27.html#PoloLR23 %V 27

@article{journals/cys/PoloLR23, added-at = {2023-05-23T00:00:00.000+0200}, author = {Polo, Axel Suárez and de Jesús Lavalle-Martínez, José and Rebolledo, Iván Molina}, biburl = {https://www.bibsonomy.org/bibtex/22c2bc810063b4d3123e421615d81c046/dblp}, ee = {https://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/4529}, interhash = {13d047e68e3d71f22195465c921696c6}, intrahash = {2c2bc810063b4d3123e421615d81c046}, journal = {Computación y Sistemas (CyS)}, keywords = {dblp}, number = 1, timestamp = {2024-04-08T19:03:31.000+0200}, title = {Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions.}, url = {http://dblp.uni-trier.de/db/journals/cys/cys27.html#PoloLR23}, volume = 27, year = 2023 }