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

R. Castanet

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1974)

  • Volume: 8, Issue: R3, page 19-36
  • ISSN: 0988-3754

How to cite

top

Castanet, R.. "Sémantique formelle des opérateurs d'un langage de listes." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 8.R3 (1974): 19-36. <http://eudml.org/doc/92008>.

@article{Castanet1974,
author = {Castanet, R.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {R3},
pages = {19-36},
publisher = {EDP-Sciences},
title = {Sémantique formelle des opérateurs d'un langage de listes},
url = {http://eudml.org/doc/92008},
volume = {8},
year = {1974},
}

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
PB - EDP-Sciences
VL - 8
IS - R3
SP - 19
EP - 36
LA - fre
UR - http://eudml.org/doc/92008
ER -

References

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

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.