La formalisation des langages de programmation

Pair, C.

Mathématiques et Sciences humaines, Tome 36 (1971), p. 71-86 / Harvested from Numdam

Détail

Publié le : 1971-01-01

Zbl 0229.68025

Bibliographie

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

[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 0192.06903

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

[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 0156.17906

[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. | JFM 67.0041.01 | MR 5274 | Zbl 0026.24205

[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. | MR 244051 | Zbl 0175.27601

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

[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. | MR 235771 | Zbl 0189.50204

[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. | MR 226970 | Zbl 0165.31901

[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 255101

[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 0169.01401

[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 0134.33403

[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 0149.12505

[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 0217.53502

[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. | MR 77473 | Zbl 0058.00501

[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. | MR 134831 | Zbl 0109.35105

[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 0309.68004

[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. | MR 236008 | Zbl 0165.31805

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

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