La fonction d'Ackermann : un nouveau mode de dérécursivation

DOI10.1051/ita/1986200201491zbMath0602.03008OpenAlexW6858560MaRDI QIDQ3737419

Jacques Arsac

Publication date: 1986

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92253

zbMATH Keywords

iterationAckermann's nested recursion

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A system which automatically improves programs
• Proving and applying program transformations expressed with second-order patterns
• Synthesis: Dreams → Programs
• Some Techniques for Recursion Removal from Recursive Functions
• A Transformation System for Developing Recursive Programs
• Goal-Directed Program Transformation
• Systematic recursion removal
• Recursion and iteration

This page was built for publication: La fonction d'Ackermann : un nouveau mode de dérécursivation