Sémantique des structures de contrôle

 Access to full text

 Full (PDF)

1. 1. J. ARSAC, Nouvelles leçons de programmation, Publications de l'Institut de Programmation, n° IP 75-29. Zbl0479.68002
2. 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. 
3. 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. MR400762
4. 4. G. V. BOCHMANN, Multiple Exists From a Loop Without the Goto, Comm. A.C.M., vol. 16, n° 6, 1973, p. 443-444. 
5. 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. Zbl0145.24204
6. 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. 
7. 7. E. W. DIJKSTRA, Goto Statement Considered Harmful, Comm. A.C.M., vol. 11, n°3, 1968, p. 147-148. 
8. 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. Zbl0189.50204MR235771
9. 9. P. HENDERSON, Derived Semantics for Some Programming Language Constructs, Comm. A.C.M., vol. 15, n° 11, 1972, p. 967-973. Zbl0245.68030
10. 10. D. E. KNUTH et R. W. FLOYD, Notes on Avoiding «GO TO » Statements, Inf. Process. Letters, n° 1, 1971, p. 23-31. Zbl1260.68047
11. 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. Zbl0262.68005MR383811
12. 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. 
13. 13. J. MCCARTHY, Towards a mathematical Science of Computation, Proc. I.F.I.P. Cong., North Holland Pub. Co., 1962, p. 21-28. 
14. 14. L. NOLIN et G. RUGGIU, Formalization of Exel, Proc. of the ACM Symp. on Principles of Programming Languages, Boston, 1973, p. 108-119. Zbl0308.68011
15. 15. B. ROBINET, Un modèle fonctionnel des structures de contrôle, R.A.I.R.O., Informatique théorique (à paraître). Zbl0389.68015
16. 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. Zbl0383.68024
17. 17. R. D. TENNENT, The Denotational Semantics of Programming Languages, Comm. A.C.M., vol. 19, n° 8, 1976, p. 437-453. Zbl0337.68010MR428771
18. 18. N. WIRTH, The Programming Language Pascal (Revised Report), E.T.H. Zürich, Berichte der Fachgruppe Computer Wissenschaften, n° 5, 1972. 
19. 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. Zbl0224.68001MR309353
20. 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. Zbl0293.68017

1. P. Sallé, Note sur la sémantique des structures de contrôle
2. Patrick Sallé, Une généralisation de la théorie des types en $\lambda$-calcul (II)
3. Patrick Sallé, Une généralisation de la théorie des types en $\lambda$-calcul
4. B. Robinet, Un modèle fonctionnel des structures de contrôle