Advertisement

Projet Vesta

Outil de calcul symbolique
  • P. Feautrier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. [1]
    J.C. COTTET, C. RENVOISE, D. SCIAMMA VESTA: Vectorisation et Parallélisation de programmes scientifiques present colloque.Google Scholar
  2. [2]
    J.P. LAURENT, A. ADAM Thèses, Paris, 1978.Google Scholar
  3. [3]
    H. BARENDREGT The Lambda Calculus, its Syntax and Semantics. North-Holland, 1981.Google Scholar
  4. [4]
    ACZEL Lecture on Functional Equations and their Applications Academic Press, 1965.Google Scholar
  5. [5]
    P. FEAUTRIER Cr Acad Sci Paris, 258, p469, 1964.Google Scholar
  6. [6]
    P. FEAUTRIER Outil de calcul symbolique pour la compréhension des programmes.Google Scholar
  7. [7]
    P. FEAUTRIER Outil de calcul algébrique pour la compréhension des boucles.Google Scholar
  8. [8]
    P. FEAUTRIER Evolution de la calculette vers une version programmable. [6–8]: Rapports BULL 1980–1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • P. Feautrier
    • 1
  1. 1.Université Pierre et Marie CurieParis Cedex 05

Personalised recommendations