Sémantique formelle des opérateurs d'un langage de listes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1974)
- Volume: 8, Issue: R3, page 19-36
- ISSN: 0988-3754
Access Full Article
topHow to cite
topReferences
top- [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
- [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
- [2] A. CHURCH, The calculi of lambda conversion, Princeton University Press (Princeton), 1941. Zbl0026.24205MR5274JFM67.0041.01
- [3] H. B. CURRY et R. FEYS, Combinatory logic, 1, North Holland (Amsterdam), 1958. Zbl0081.24104MR94298
- [4] L. NOLIN, Logique combinatoire et algorithmes, C. R. Acad. Sc. Paris, série A, 272 (1972), 1435-1438 et 1485-1488. Zbl0217.00805MR285394
- [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. Zbl0116.09606MR154449
- [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. Zbl0129.10301
- [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). MR278577
- [13] M. VENTURINI-ZILLI, Lambda K formulae for vectors operators, Int. Comp. center Bull., 4 (1965), 157-174.