{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:15:34Z","timestamp":1648620934447},"reference-count":22,"publisher":"EDP Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO. Inform. th\u00e9or."],"published-print":{"date-parts":[[1977]]},"DOI":"10.1051\/ita\/1977110200911","type":"journal-article","created":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T15:29:26Z","timestamp":1486394966000},"page":"91-112","source":"Crossref","is-referenced-by-count":3,"title":["Emploi de m\u00e9thodes constructives en programmation. Un dossier : la fonction d'Ackermann"],"prefix":"10.1051","volume":"11","author":[{"given":"Jacques J.","family":"Arsac","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. ASHCROFT E., MANNA Z.. The translation of GOTO programs into WHILE programs IFIP conference, North Holland Publishing Company, 1971, p. 250-255.400762"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. ARSAC J., Langages sans \u00e9tiquettes et transformations de programmes, in Automata, Languages and Programming, 2nd Colloquium, J. Loeckx, Ed. Springer 1974 (Lecture Notes in Computer Science n\u00b0 14), p. 112-128.4433990291.68030","DOI":"10.1007\/978-3-662-21545-6_8"},{"key":"R3","unstructured":"3. ARSAC J., M\u00e9thodes et outils en programmation, in Panorama de la nouveaut\u00e9 informatique en France. colloque AFCET, 1976, p. 123-146."},{"key":"R4","unstructured":"4. ARSAC J., Nouvelles le\u00e7ons de programmation. Ouvrage \u00e0 para\u00eetre. Dunod, 1977. Aussi, en version abr\u00e9g\u00e9e, publication de l'Institut de Programmation, Paris, 1975."},{"key":"R5","unstructured":"5. ARSAC J., NOLIN L., RUGGIU G. et VASSEUR J. P., Le syst\u00e8me de programmation structur\u00e9e EXEL. Revue technique Thomson-CSF, 6, 1974, p. 715-736."},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. ASHCROFT E. et WADGE W. W., Lucid, a formal System for writing and proving programs. SIAM journal on Computing, 5, 1976, p. 336-354.4950780362.68030","DOI":"10.1137\/0205029"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. BURSTALL R. M. et DARLINGTON J., A system which automatically improves programs, Acta Informatica, 6, 1976, p. 41-60.0323.68008","DOI":"10.1007\/BF00263742"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. BERRY G., Bottom up computation of recursive functions, RAIRO, 10, 1976, n\u00b0 3, p. 47-82.92028411222","DOI":"10.1051\/ita\/197610R100471"},{"key":"R9","unstructured":"9. COUSINEAU F., Transformation de programmes it\u00e9ratifs, in Programmation, B. Robinet, Ed., Dunod, Paris, 1977, p. 53-74.0401.00016"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. FLOYD R. W., KNUTH D. E., Notes on avoiding GO TO statements. Information processing letters, 1, 1971, p. 23-31.1260.68047","DOI":"10.1016\/0020-0190(71)90018-4"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. FLOYD R. W., Assigning meanings to programs. Symposia in applied mathematics, Vol. 19. Rhode Island. American mathematical society, 1967, p. 19-32.2357710189.50204","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"12. GERHARDT S. L., Knowledge about programs. A model and case study. IEEE conference on reliable software, Los Angeles, 1975. IEEE cat. 75 CHO 940, p. 89-93.","DOI":"10.1145\/800027.808427"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. HOARE C. A. R., An axiomatic basis for computer programming. Com. ACM, 12, 1969, p. 576-580.0179.23105","DOI":"10.1145\/363235.363259"},{"key":"R14","unstructured":"14. IRLIK J., Translating some recursive procedures into iterative schemes, in Programmation, B. Robinet, Ed., Dunod, Paris, 1976, p. 39-52."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. KNUTH D. E., Structured programming with GO TO statements, ACM Computing survey, Vol. 6, n\u00b0 4, d\u00e9c. 1974.0301.68014","DOI":"10.1145\/356635.356640"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"16. KOSARAJU R., Analysis of structured programs. Journal of computer ans Systems science, 9, 1974, p. 232-255.4007680293.68014","DOI":"10.1016\/S0022-0000(74)80043-7"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. LEDGARD H. et MARCOTTY M., A genealogy of control structures. Com. ACM, 18, 1975, p. 629-639.0313.68024","DOI":"10.1145\/361219.361222"},{"key":"R18","unstructured":"18. MANNA Z., Mathematical theory of computation, Addison Wesley, 1974.4007710353.68066"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"19. NOLIN L. et RUGGIU G., Formalization of Exel. ACM symposium on principles of programming languages, Boston, oct. 1973, p. 108-119.0308.68011","DOI":"10.1145\/512927.512937"},{"key":"R20","unstructured":"20. PETERSON W. W., KASAMI T. et TOKURA N., A on the capabilities of WHILE, REPEAT and EXIT statements.0279.68008"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"21. RICE H. G., Recursion and iteration, Com. ACM, 8, 1965, p. 114-115.0129.10304","DOI":"10.1145\/363744.363781"},{"key":"R22","unstructured":"22. VUILLEMIN J., Proof techniques for recursive programs. PhD thesis Computer science department Stanford University, 1973."}],"container-title":["RAIRO. Informatique th\u00e9orique"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1977110200911\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:32:52Z","timestamp":1568799172000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1977110200911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"references-count":22,"journal-issue":{"issue":"2"},"alternative-id":["ita1977110200911"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1977110200911","relation":{},"ISSN":["0399-0540"],"issn-type":[{"value":"0399-0540","type":"print"}],"subject":[],"published":{"date-parts":[[1977]]}}}