{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T02:13:54Z","timestamp":1692670434781},"reference-count":16,"publisher":"EDP Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1986]]},"DOI":"10.1051\/ita\/1986200201491","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:06:00Z","timestamp":1486047960000},"page":"149-156","source":"Crossref","is-referenced-by-count":0,"title":["La fonction d'Ackermann : un nouveau mode de d\u00e9r\u00e9cursivation"],"prefix":"10.1051","volume":"20","author":[{"given":"Jacques","family":"Arsac","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. ARSAC J., Les bases dela programmation, Paris, Dunod, 1983.0624.68004","DOI":"10.51257\/a-v1-h2020"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. ARSAC J., Emploi de m\u00e9thodes constructives en programmation. Un dossier : la fonction d'Ackermann, RAIRO, Inf. th\u00e9or., vol. 11, n\u00b0 2, 1977, p. 91-112.920490358.68018","DOI":"10.1051\/ita\/1977110200911"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. ARSAC J. et KODRATOFF Yves, Some Techniques for Recursion Removal from Recursive Functions, ACM Toplas, Vol. 4, n\u00b0 2, avril 1982, p. 295-322.0547.68009","DOI":"10.1145\/357162.357171"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. AUSLANDER M. A. et STRONG H. R., Systematic Recursion Removal, Com A.C.M., vol. 21, n\u00b0 2, f\u00e9vrier 1978, p. 127-134.0367.68008","DOI":"10.1145\/359340.359344"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. BAUER F. L. et WOSNER H., Algorithmic Language and Program Development Springer Verlag, Berlin, 1982.0486.68007","DOI":"10.1007\/978-3-642-61807-9"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. BURSTALL R. M. et DARLINGTON J., A System which Automatically Improves Programs, Acta informatica, vol. 6, 1976, p. 41-60.0323.68008","DOI":"10.1007\/BF00263742"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. BURSTALL R. M. et DARLINGTON J., A Transformation System for Developing Recursive Programs, J.A.C.M., vol. 24, n\u00b0 1, janvier 1977, p. 44-67.4518160343.68014","DOI":"10.1145\/321992.321996"},{"key":"R8","unstructured":"8. DJOSSOU K., Th\u00e8se de 3e cycle, universit\u00e9 P.-et-M.-Curie, Paris, 1984."},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. HUET G. et LANG B., Proving and Applying Program Transformations Expressed with Second Order Patterns, Acta informatica, vol. 11, n\u00b0 1, janvier 1978, p. 31-55.5147520389.68008","DOI":"10.1007\/BF00264598"},{"key":"R10","unstructured":"10. KOTT L., About a Transformation System: Theoretical Study in Program Transformation, in Program Transformation: 3rd Symposium on Programming, Dunod, Paris, 1978.5187730406.68011"},{"key":"R11","unstructured":"11. MCCARTHY J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Com. A.C.M., vpl. 16, n\u00b0 8, ao\u00fbt 1972, p. 491-502."},{"key":"R12","unstructured":"12. MANNA Z. et WALDINGER R., Synthesis: Dreams \u2192 Programs, Tech. Rep. CS 77-630, Computer sc. Dep., Stanford University, Californie, 1979.0416.68013606596"},{"key":"R13","unstructured":"13. PEPPER P., PARTSCH H., WOESSNER H. et BAUER F. L., Transformational Approach to Programming, in Program Transformation, 3rd Symposium on Programming, Dunod, Paris, 1978, p. 248-262.0405.68004"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"14. RICE H. G., Recursion and Iteration, Com. A.C.M., vol. 8, 1965, p. 114-115.0129.10304","DOI":"10.1145\/363744.363781"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. ROHL J. S., Recursion via Pascal Sophisters and Calculators, Australia, 1983.","DOI":"10.1017\/CBO9781139171793"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"16. WEGBREIT B., Goal Directed Program Transformation, I.E.E.E. transactions in software engineering SE-2, 2, juin 1976, p. 69-80.4434140352.68033","DOI":"10.1109\/TSE.1976.233533"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1986200201491\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T01:40:40Z","timestamp":1692668440000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1986200201491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"references-count":16,"journal-issue":{"issue":"2"},"alternative-id":["ita1986200201491"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1986200201491","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986]]}}}