La formalisation des langages de programmation
Mathématiques et sciences humaines, Tome 34 (1971), pp. 71-86 
@article{MSH_1971__34__71_0,
     author = {Pair, C.},
     title = {La formalisation des langages de programmation},
     journal = {Math\'ematiques et sciences humaines},
     pages = {71--86},
     year = {1971},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {34},
     zbl = {0229.68025},
     language = {fr},
     url = {https://www.numdam.org/item/MSH_1971__34__71_0/}
}
TY  - JOUR
AU  - Pair, C.
TI  - La formalisation des langages de programmation
JO  - Mathématiques et sciences humaines
PY  - 1971
SP  - 71
EP  - 86
VL  - 34
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - https://www.numdam.org/item/MSH_1971__34__71_0/
LA  - fr
ID  - MSH_1971__34__71_0
ER  - 
%0 Journal Article
%A Pair, C.
%T La formalisation des langages de programmation
%J Mathématiques et sciences humaines
%D 1971
%P 71-86
%V 34
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U https://www.numdam.org/item/MSH_1971__34__71_0/
%G fr
%F MSH_1971__34__71_0
Pair, C. La formalisation des langages de programmation. Mathématiques et sciences humaines, Tome 34 (1971), pp. 71-86. https://www.numdam.org/item/MSH_1971__34__71_0/

[1] Aho, A.V., Indexed grammars : An extension of context-free grammars, Doct. thesis, Princeton University, 1967. | MR

[2] Arsac, J. La science informatique, Paris, Dunod, 1970.

[3] Backus, J.W., Et Al., "The Fortran automatic coding system", Proc. Western Joint Comp. Conf. 11, 1957, pp. 188-198.

[4] Blickle, A., Algorithmically definable functions, Polish Academy of Sciences, Inst. of Math., Varsovie, 1970.

[5] Böhm, C. et Gross, W., "Introduction to the CUCH", Automata theory, Caianiello (ed.), New York, Academic Press, 1966, pp. 35-65. | Zbl

[6] Brooker, R.A. et Morris, D., "A general translation program for phrase structure languages", J. ACM (9), 1962, pp. 1-10. | Zbl | MR

[7] Caracciolo Di Forino, A., "Generalized Markov algorithms and automata", Automata theory, Caianiello (ed.), New York, Academic Press, 1966, pp. 107-114.

[8] Cheatham, T.E. et Sattley, K., "Syntax directed compiling", Proc. EasternJoint Comp. Conf. (25), 1964, pp. 31-57. | Zbl

[9] Chomsky, N., Aspects of the theory of syntax, Cambridge, Mass., MIT Press, 1965.

[10] Church, A., "The calculi of lambda conversion", Ann. of Math. Studies (6), Princeton, NJ, 1941. | Zbl | MR | JFM

[11] Cobol-1961 extended : External specifications for a common business oriented language, Dept of Defense, Washington, DC, 1962.

[12] Curry, H.B. et Feys, R., Combinatory logic, Amsterdam, North-Holland, 1968. | Zbl | MR

[13] De Bakker, J.W., Formal definition of programming languages, Mathematisch Centrum, Amsterdam, 1967. | Zbl

[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] Elgot, C.C., "Machine species and their computation languages", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 160-178.

[16] Florentin, J.J., "Proving theorems about programs", Conference faite à l'IRIA, 1970.

[17] Floyd, R.W., "Assigning meanings to programs", Proc. of symp. in appl. math., 19, 1967, pp. 19-32. | Zbl | MR

[18] Garwick, J.K., "The definition of programming languages by their compilers", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966.

[19] Gross, M. et Lentin, A., Notions sur les grammaires formelles, Paris, Gauthier-Villars, 1967. | Zbl | MR

[20] IBM Systems Reference Library, File n° 5 366-29, Form C 28-6571. PL/1 Language Specifications.

[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. | MR

[22] Irons, E.T., "The structure and use of the syntax directed compiler", Ann. Rev. in Autom. Progr. (3), 1963.

[23] Knuth, D. "Semantics of context-free languages", Math. Syst. Theory (2), 1968, pp. 127-145. | Zbl

[24] Landin, P.J., "A correspondence between Algol 60 and Church's lambda-notation", Comm. ACM (8), 1965, pp. 89-101 et 158-165. | Zbl

[25] - "A formal description of Algol 60", Formal language description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 266-294.

[26] - "The next 700 programming languages", Comm. ACM (9), 1966, pp. 157-164. | Zbl

[27] Leclaire, J.M., Définition de la syntaxe des langages de programmation, Thèse de troisième cycle, Faculté des Sciences de Nancy, 1970.

[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. | Zbl

[29] M, J., Towards a mathematical science of computation", Information Processing (62), Popplewell (ed.), Amsterdam, North-Holland, 1963, pp. 21-28.

[30] - "A formal description of a subset of Algol", Formal languages description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 1-12.

[31] Markov, A.A., Teoriya algorifmov, Trudy Mat. Inst. Steklov 42, Moscou, 1954. | Zbl | MR

[32] Mealy, G.H., "Another look at data", Proc. Fall Joint Comp. Conf. (31), 1967, pp. 525-534.

[33] NAUR, P. (ed.), "Revised report on the algorithmic language Algol 60", Comm. ACM. (6), 1963, pp. 1-17. | Zbl | MR

[34] Nivat, M. et Nolin, L., Sur un procédé de définition de la syntaxe d'Algol, Institut Blaise-Pascal, Paris, 1963.

[35] Nolin, L., Formalisation des notions de machine et de programme, Paris, Gauthier-Villars, 1969. | Zbl

[36] Pair, C., "Concerning the syntax of Algol 68", Algol Bulletin, 31, 1970.

[37] Quere, A., Étude des ramifications et des bilangages, Thèse de troisième cycle, Faculté des Sciences de Nancy, 1969.

[38] Sintzoff, M., "Existence of a van Wijngaarden syntax for every recursively enumerable set", Ann. Soc. Scientif., Bruxelles, 81.2, 1967, pp. 115-118. | Zbl | MR

[39] - "Introduction à la description d'Algol 68", Rev. franç. d'informatique et de rech. op., série bleue (3), 1969, p. 3-16. | Zbl

[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] Stratchey, C., "Towards a formal semantics", Formal languages description languages, Steel (ed.), Amsterdam, North-Holland, 1966, pp. 198-220.

[42] Van Wijngaarden, A.; Mailloux, B.J.; Peck, J.E.L., et Koster, C.H.A., Algol 68, MR 101, Mathematisch Centrum, Amsterdam.