Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Bibliography
ARSAC J., NOLIN L., RUGGIU G., VASSEUR J.P., "Le système de Programmation EXEL"; Revue technique Thompson-CSF vol. 6, 3 (1974)
ARSAC J., "Langages sans étiquettes et transformations de programmes"; Second colloquium on Automata, Languages and Programming. Saarbrücken (1974)
BOHM C. and JACOPINI G., "Flow diagrams, Türing machines and languages with only two formation rules"; Comm. ACM 9 (1966), 366–371
COUSINEAU J., "Transformations de programmes itératifs"; in Programmation, Proceedings of the 2nd international symposium on Programming, edited by B. Robinet, Paris (1976 — DUNOD). 53–74
COUSINEAU J., "Arbres à feuilles indiciées et transformations de programmes"; thèse es sci. Mathématiques, Université de Paris VII, (1977)
GARLAND S.J. and LUCKHAM D.C., "Program Schemes, Recursion Schemes, and formal Languages"; J. Comput. Syst. Sci., 7 (1973) 119–160
HECHT M.S. and ULLMAN J.D., "Flow graph reducibility", SIAM J. Comput., 1 (1972) 188–202
IANOV Iu. I., "The logical schemes of algorithms"; Problemy Kibernet., 1 (1960) 82–140
IRLIK J., "Translating some recursive procedures into iterative schemas"; in Programmation, Proceedings of the 2nd international symposium on Programming, edited by B. Robinet, Paris (1976 — DUNOD) 39–52
KASAT T., "Translatability of flowcharts into WHILE programs"; J. Comput. Syst. Sci., 9 (1974) 177–195
KNUTH D.E. and FLOYD R.W., "Notes on avoiding "GO TO" statements"; Information Processing Letters, 1 (1971); Errata (1972), 177
KOSARAJU R., "Analysis of structured programs"; J. Comput. Syst. Sci., 9 (1974) 232–255
MANNA Z., "Mathematical theory of Computing"; Addison Wesley
NOLIN L., RUGGIU G., "Formalization of EXEL"; ACM Symposium on the principles of Programming Languages; Boston (1973)
JACOB G., "Programmes réductibles à une formule EXEL de rang donné"; Colloque ‘AFCET-Informatique 78'; Paris, novembre 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jacob, G. (1978). Structural invariants for some classes of structured programs. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_76
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive