Sémantique formelle des opérateurs d'un langage de listes

 Access to full text

 Full (PDF)

1. [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. Zbl0239.02016MR300920
2. [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. Zbl0247.02029MR302411
3. [2] A. CHURCH, The calculi of lambda conversion, Princeton University Press (Princeton), 1941. Zbl0026.24205MR5274JFM67.0041.01
4. [3] H. B. CURRY et R. FEYS, Combinatory logic, 1, North Holland (Amsterdam), 1958. Zbl0081.24104MR94298
5. [4] L. NOLIN, Logique combinatoire et algorithmes, C. R. Acad. Sc. Paris, série A, 272 (1972), 1435-1438 et 1485-1488. Zbl0217.00805MR285394
6. [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). 
7. [6] B. ROBINET, Sémantique des tableaux : Application au langage APL. Thèse 3e cycle, Université Paris, 6 (1972). 
8. [7] R. H. LETHWELL and J. E. MEZEI, A formal description of APL, Actes du congrès APL, IRIA, Rocquencourt (1971). 
9. [8] M. WEIZENBAUM, Symetric List Processor, Comm. ACM, vol. 6, n° 9 (1963), 524-544. Zbl0116.09606MR154449
10. [9] J. Mac CARTHY, LISP 1.5 Programmer's Manual, MIT Press, Cambridge Mass. (1962). 
11. [10] K. C. KNOWLTON, A programmer's description of L6. Comm. ACM, vol. 7 (1965), 623-625. Zbl0129.10301
12. [11] C. BÖHM, The CUCH as a formal and description language, in Formal language, description language, STEEL (1964). 
13. [12] P. WEGNER, Programming, information structures and machine organisation, McGraw Hill, New York (1968). MR278577
14. [13] M. VENTURINI-ZILLI, Lambda K formulae for vectors operators, Int. Comp. center Bull., 4 (1965), 157-174. 

1. B. Robinet, Un modèle fonctionnel des structures de contrôle