Free Access
| Issue |
RAIRO. Inform. théor.
Volume 11, Number 1, 1977
|
|
|---|---|---|
| Page(s) | 63 - 74 | |
| DOI | https://doi.org/10.1051/ita/1977110100631 | |
| Published online | 01 February 2017 | |
- 1. J. ARSAC, Nouvelles leçons de programmation, Publications de l'Institut de Programmation, n° IP 75-29. [Zbl: 0479.68002] [Google Scholar]
- 2. J. ARSAC, L. NOLIN, G. RUGGIU et J. P. VASSEUR, Le système de programmation structurée Exel, Revue technique Thomson-CSF, vol. 6, n° 3, 1974, p. 715-736. [Google Scholar]
- 3. E. ASHCROFT et Z. MANNA, The Translation of « GO TO » Programs to « WHILE » Programs, I.F.I.P. 71, C. V. FREIMAN éd., North-Holland Pub., 1972, p. 250-255. [MR: 400762] [Google Scholar]
- 4. G. V. BOCHMANN, Multiple Exists From a Loop Without the Goto, Comm. A.C.M., vol. 16, n° 6, 1973, p. 443-444. [Google Scholar]
- 5. C. BÖHM et G. JACOPINI, Flow-diagrams, Turing Machines and Languages with Only Two Formation Rules, Comm. A.C.M., vol. 9, n° 5, 1966, p. 365-371. [Zbl: 0145.24204] [Google Scholar]
- 6. D. C. COOPER, Böhm and Jacopini's Reduction of Flow Charts, Comm. A.C.M., vol. 10, n° 8, 1967, p. 463-464. [Google Scholar]
- 7. E. W. DIJKSTRA, Goto Statement Considered Harmful, Comm. A.C.M., vol. 11, n°3, 1968, p. 147-148. [Google Scholar]
- 8. R. W. FLOYD, Assigning Meanings to Programs, Proc. of a Symposium in Applied Mathematics, Math. Aspects of Computer Science, A.M.S., 1967, p. 19-32. [MR: 235771] [Zbl: 0189.50204] [Google Scholar]
- 9. P. HENDERSON, Derived Semantics for Some Programming Language Constructs, Comm. A.C.M., vol. 15, n° 11, 1972, p. 967-973. [Zbl: 0245.68030] [Google Scholar]
- 10. D. E. KNUTH et R. W. FLOYD, Notes on Avoiding «GO TO » Statements, Inf. Process. Letters, n° 1, 1971, p. 23-31. [Zbl: 1260.68047] [Google Scholar]
- 11. J. KOTT, Remarques sur la structure des schémas de programmes. Automata, Languages and Programming, M. NIVAT éd., North-Holland Pub., 1973, p. 265-271. [MR: 383811] [Zbl: 0262.68005] [Google Scholar]
- 12. B. LORHO, De la définition à la traduction des langages de programmation : méthode des attributs sémantiques, Thèse, Université Paul-Sabatier de Toulouse, 1974. [Google Scholar]
- 13. J. MCCARTHY, Towards a mathematical Science of Computation, Proc. I.F.I.P. Cong., North Holland Pub. Co., 1962, p. 21-28. [Google Scholar]
- 14. L. NOLIN et G. RUGGIU, Formalization of Exel, Proc. of the ACM Symp. on Principles of Programming Languages, Boston, 1973, p. 108-119. [Zbl: 0308.68011] [Google Scholar]
- 15. B. ROBINET, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O., Informatique théorique (à paraître). [EuDML: 92054] [Zbl: 0389.68015] [Google Scholar]
- 16. B. ROBINET, About the Logical Foundations of Data Types, New Directions on Algorithmic Languages, 1976, S. SCHUMAN éd., Proc. of a WG. 2.1. Meeting. [Zbl: 0383.68024] [Google Scholar]
- 17. R. D. TENNENT, The Denotational Semantics of Programming Languages, Comm. A.C.M., vol. 19, n° 8, 1976, p. 437-453. [MR: 428771] [Zbl: 0337.68010] [Google Scholar]
- 18. N. WIRTH, The Programming Language Pascal (Revised Report), E.T.H. Zürich, Berichte der Fachgruppe Computer Wissenschaften, n° 5, 1972. [Google Scholar]
- 19. W. A. WULF, D. B. RUSSELL et A. N. HABERMAN, Bliss : a Language for Programming Systems, Comm. A.C.M., vol. 14, n° 12, 1971, p. 780-790. [MR: 309353] [Zbl: 0224.68001] [Google Scholar]
- 20. C. T. ZAHN, A Control Statement for Natural Top-down Programming, Programming Symposium, B. ROBINET éd., Springer-Verlag, Lecture Notes in Computer Science, vol. 19, 1974, p. 170-179. [Zbl: 0293.68017] [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.