La formalisation des langages de programmation

 Access to full text

 Full (PDF)

1. [1] Aho, A.V., Indexed grammars : An extension of context-free grammars, Doct. thesis, Princeton University, 1967. Zbl0308.68061MR258547
2. [2] Arsac, J.La science informatique, Paris, Dunod, 1970. 
3. [3] Backus, J.W., et al., "The Fortran automatic coding system", Proc. Western Joint Comp. Conf.11, 1957, pp. 188-198. 
4. [4] Blickle, A., Algorithmically definable functions, Polish Academy of Sciences, Inst. of Math., Varsovie, 1970. 
5. [5] Böhm, C. et Gross, W., "Introduction to the CUCH", Automata theory, Caianiello (ed.), New York, Academic Press, 1966, pp. 35-65. Zbl0192.06903
6. [6] Brooker, R.A. et Morris, D., "A general translation program for phrase structure languages", J. ACM (9), 1962, pp. 1-10. Zbl0105.11003MR136029
7. [7] Caracciolo Di Forino, A., "Generalized Markov algorithms and automata", Automata theory, Caianiello (ed.), New York, Academic Press, 1966, pp. 107-114. Zbl0192.06302
8. [8] Cheatham, T.E. et Sattley, K., "Syntax directed compiling", Proc. EasternJoint Comp. Conf. (25), 1964, pp. 31-57. Zbl0156.17906
9. [9] Chomsky, N., Aspects of the theory of syntax, Cambridge, Mass., MIT Press, 1965. 
10. [10] Church, A., "The calculi of lambda conversion", Ann. of Math. Studies (6), Princeton, NJ, 1941. Zbl0026.24205MR5274JFM67.0041.01
11. [11] Cobol-1961 extended : External specifications for a common business oriented language, Dept of Defense, Washington, DC, 1962. 
12. [12] Curry, H.B. et Feys, R., Combinatory logic, Amsterdam, North-Holland, 1968. Zbl0175.27601MR244051
13. [13] De Bakker, J.W., Formal definition of programming languages, Mathematisch Centrum, Amsterdam, 1967. Zbl0203.49204
14. [14] D'Imperio, M., "Data structures and their representation in storage", Ann. Rev. in Autom. Progr. (5), part 1, New York, Pergamon Press, 1968. 
15. [15] Elgot, C.C., "Machine species and their computation languages", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 160-178. 
16. [16] Florentin, J.J., "Proving theorems about programs", Conference faite à l'IRIA, 1970. 
17. [17] Floyd, R.W., "Assigning meanings to programs", Proc. of symp. in appl. math., 19, 1967, pp. 19-32. Zbl0189.50204MR235771
18. [18] Garwick, J.K., "The definition of programming languages by their compilers", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966. 
19. [19] Gross, M. et Lentin, A., Notions sur les grammaires formelles, Paris, Gauthier-Villars, 1967. Zbl0165.31901MR226970
20. [20] IBM Systems Reference Library, File n° 5366-29, Form C 28-6571. PL/1 Language Specifications. 
21. [21] Igarashi, S., "An axiomatic approach to équivalence problems of algorithms with applications", Thèse, Report of the Computer Center University of Tokyo, 1, 1968, pp. 1-101. MR255101
22. [22] Irons, E.T., "The structure and use of the syntax directed compiler", Ann. Rev. in Autom. Progr. (3), 1963. 
23. [23] Knuth, D. "Semantics of context-free languages", Math. Syst. Theory (2), 1968, pp. 127-145. Zbl0169.01401
24. [24] Landin, P.J., "A correspondence between Algol 60 and Church's lambda-notation", Comm. ACM (8), 1965, pp. 89-101 et 158-165. Zbl0134.33403
25. [25] — "A formal description of Algol 60", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 266-294. 
26. [26] — "The next 700 programming languages", Comm. ACM (9), 1966, pp. 157-164. Zbl0149.12505
27. [27] Leclaire, J.M., Définition de la syntaxe des langages de programmation, Thèse de troisième cycle, Faculté des Sciences deNancy, 1970. 
28. [28] Lucas, R. et Walk, K., "On the formal description of PL/1", Ann. Rev. in Autom. Progr.6, part 3, New York, Pergamon Press, 1968. Zbl0217.53502
29. [29] M, J., Towards a mathematical science of computation", Information Processing (62), Popplewell (ed.), Amsterdam, North-Holland, 1963, pp. 21-28. 
30. [30] — "A formal description of a subset of Algol", Formal languages description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 1-12. 
31. [31] Markov, A.A., Teoriya algorifmov, Trudy Mat. Inst. Steklov42, Moscou, 1954. Zbl0058.00501MR77473
32. [32] Mealy, G.H., "Another look at data", Proc. Fall Joint Comp. Conf. (31), 1967, pp. 525-534. 
33. [33] NAUR, P. (ed.), "Revised report on the algorithmic language Algol 60", Comm. ACM. (6), 1963, pp. 1-17. Zbl0109.35105MR134831
34. [34] Nivat, M. et Nolin, L., Sur un procédé de définition de la syntaxe d'Algol, Institut Blaise-Pascal, Paris, 1963. 
35. [35] Nolin, L., Formalisation des notions de machine et de programme, Paris, Gauthier-Villars, 1969. Zbl0309.68004
36. [36] Pair, C., "Concerning the syntax of Algol 68", Algol Bulletin, 31, 1970. 
37. [37] Quere, A., Étude des ramifications et des bilangages, Thèse de troisième cycle, Faculté des Sciences de Nancy, 1969. 
38. [38] Sintzoff, M., "Existence of a van Wijngaarden syntax for every recursively enumerable set", Ann. Soc. Scientif., Bruxelles, 81.2, 1967, pp. 115-118. Zbl0165.31805MR236008
39. [39] — "Introduction à la description d'Algol 68", Rev. franç. d'informatique et de rech. op., série bleue (3), 1969, p. 3-16. Zbl0198.50601
40. [40] Steel, T.B., "A formalization of semantics for programming languages description", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 25-36. 
41. [41] Stratchey, C., "Towards a formal semantics", Formal languages description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 198-220. 
42. [42] Van Wijngaarden, A.; Mailloux, B.J.; Peck, J.E.L., et Koster, C.H.A., Algol 68, MR 101, Mathematisch Centrum, Amsterdam.