Sémantique formelle des opérateurs d'un langage de listes
Castanet, R.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974), p. 19-36 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1974__8_3_19_0,
     author = {Castanet, R.},
     title = {S\'emantique formelle des op\'erateurs d'un langage de listes},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {8},
     year = {1974},
     pages = {19-36},
     mrnumber = {366631},
     zbl = {0325.68012},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1974__8_3_19_0}
}

Castanet, R. Sémantique formelle des opérateurs d'un langage de listes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) pp. 19-36. http://gdmltest.u-ga.fr/item/ITA_1974__8_3_19_0/

[1] R. Castanet, Une formalisation de la sémantique des opérateurs d'extraction dans une arborescence, C. R. Acad. Sc. Paris, série A, 275 (1972), 135-137. | MR 300920 | Zbl 0239.02016

[1A] R. Castanet, Sur la sémantique des opérateurs d'insertion dans une arborescence, C. R. Acad. Sc. Paris, série A, 275 (1972), 209-212. | MR 302411 | Zbl 0247.02029

[2] A. Church, The calculi of lambda conversion, Princeton University Press (Princeton), 1941. | JFM 67.0041.01 | MR 5274 | Zbl 0026.24205

[3] H. B. Curry et R. Feys, Combinatory logic, 1, North Holland (Amsterdam), 1958. | MR 94298 | Zbl 0081.24104

[4] L. Nolin, Logique combinatoire et algorithmes, C. R. Acad. Sc. Paris, série A, 272 (1972), 1435-1438 et 1485-1488. | MR 285394 | Zbl 0217.00805

[5] E. V. Paduceva, Réduction de groupes de coordination contenant des éléments se répétant, in La sématique en U.R.S.S., Dunod, Paris (1971).

[6] B. Robinet, Sémantique des tableaux : Application au langage APL. Thèse 3e cycle, Université Paris, 6 (1972).

[7] R. H. Lethwell and J. E. Mezei, A formal description of APL, Actes du congrès APL, IRIA, Rocquencourt (1971).

[8] M. Weizenbaum, Symetric List Processor, Comm. ACM, vol. 6, n° 9 (1963), 524-544. | MR 154449 | Zbl 0116.09606

[9] J. Mac Carthy, LISP 1.5 Programmer's Manual, MIT Press, Cambridge Mass. (1962).

[10] K. C. Knowlton, A programmer's description of L6. Comm. ACM, vol. 7 (1965), 623-625.

[11] C. Böhm, The CUCH as a formal and description language, in Formal language, description language, STEEL (1964).

[12] P. Wegner, Programming, information structures and machine organisation, McGraw Hill, New York (1968). | MR 278577

[13] M. Venturini-Zilli, Lambda K formulae for vectors operators, Int. Comp. center Bull., 4 (1965), 157-174.