Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}