×

Some techniques for recursion removal from recursive functions. (English) Zbl 0547.68009


MSC:

68N01 General topics in the theory of software
03D20 Recursive functions and relations, subrecursive hierarchies
PDFBibTeX XMLCite
Full Text: DOI