Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
- 1 January 1977
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 11 (2) , 91-112
- https://doi.org/10.1051/ita/1977110200911
Abstract
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applicationsKeywords
This publication has 13 references indexed in Scilit:
- Lucid—A Formal System for Writing and Proving ProgramsSIAM Journal on Computing, 1976
- A system which automatically improves programsActa Informatica, 1976
- Bottom-up computation of recursive programsRevue française d'automatique informatique recherche opérationnelle. Informatique théorique, 1976
- Knowledge about programsPublished by Association for Computing Machinery (ACM) ,1975
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- Langages Sans Etiquettes et Transformations de ProgrammesPublished by Springer Nature ,1974
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967