Geodesic
Sémantique formelle des opérateurs d'un langage de listes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) no. R3, pp. 19-36.

Voir la notice de l'article provenant de la source Numdam

@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},
     pages = {19--36},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {8},
     number = {R3},
     year = {1974},
     mrnumber = {366631},
     zbl = {0325.68012},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1974__8_3_19_0/}
}
TY  - JOUR
AU  - Castanet, R.
TI  - Sémantique formelle des opérateurs d'un langage de listes
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1974
SP  - 19
EP  - 36
VL  - 8
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://geodesic.mathdoc.fr/item/ITA_1974__8_3_19_0/
LA  - fr
ID  - ITA_1974__8_3_19_0
ER  - 
%0 Journal Article
%A Castanet, R.
%T Sémantique formelle des opérateurs d'un langage de listes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1974
%P 19-36
%V 8
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1974__8_3_19_0/
%G fr
%F 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) no. R3, pp. 19-36. http://geodesic.mathdoc.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. | Zbl | MR

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

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

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

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

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

[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

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