Les tests et leur caractérisation syntaxique
- 1 January 1977
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 11 (2) , 133-156
- https://doi.org/10.1051/ita/1977110201331
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Equivalences dans l'algèbre des schémas de programmePublished by Springer Nature ,1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- The lattice of flow diagramsPublished by Springer Nature ,1971
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Equivalences on program schemesJournal of Computer and System Sciences, 1970
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- On Ianov's Program SchemataJournal of the ACM, 1964
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963