A Transformation scheme for double recursion

dc.contributor.author	Balcázar Navarro, José Luis
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned	2016-11-16T15:54:35Z
dc.date.available	2016-11-16T15:54:35Z
dc.date.issued	1994-02
dc.identifier.citation	Balcazar, J. L. "A Transformation scheme for double recursion". 1994.
dc.identifier.uri	http://hdl.handle.net/2117/96755
dc.description.abstract	A tail recursive program (with a single recursive call per case) is derived from a generic recursive program with two independent recursive calls, under no algebraic hypothesis whatsoever. The iterative version, fully verified, is immediate.
dc.format.extent	8 p.
dc.language.iso	eng
dc.relation.ispartofseries	LSI-94-8-R
dc.subject	Àrees temàtiques de la UPC::Informàtica::Programació
dc.subject.other	Tail recursive program
dc.subject.other	Doble recursion
dc.title	A Transformation scheme for double recursion
dc.type	External research report
dc.contributor.group	Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.rights.access	Open Access
local.identifier.drac	1837680
dc.description.version	Postprint (published version)
local.citation.author	Balcazar, J. L.

UPCommons. Portal del coneixement obert de la UPC