Skip to main content
SpringerLink
Log in

Projet Vesta

Outil de calcul symbolique

  • Conference paper
  • First Online:
International Symposium on Programming (Programming 1984)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 167))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. J.C. COTTET, C. RENVOISE, D. SCIAMMA VESTA: Vectorisation et Parallélisation de programmes scientifiques present colloque.

    Google Scholar 

  2. J.P. LAURENT, A. ADAM Thèses, Paris, 1978.

    Google Scholar 

  3. H. BARENDREGT The Lambda Calculus, its Syntax and Semantics. North-Holland, 1981.

    Google Scholar 

  4. ACZEL Lecture on Functional Equations and their Applications Academic Press, 1965.

    Google Scholar 

  5. P. FEAUTRIER Cr Acad Sci Paris, 258, p469, 1964.

    Google Scholar 

  6. P. FEAUTRIER Outil de calcul symbolique pour la compréhension des programmes.

    Google Scholar 

  7. P. FEAUTRIER Outil de calcul algébrique pour la compréhension des boucles.

    Google Scholar 

  8. P. FEAUTRIER Evolution de la calculette vers une version programmable. [6–8]: Rapports BULL 1980–1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Pierre et Marie Curie, 2 Place Jussieu, 75230, Paris Cedex 05

    P. Feautrier

Authors
  1. P. Feautrier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Paul B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Feautrier, P. (1984). Projet Vesta. In: Paul, M., Robinet, B. (eds) International Symposium on Programming. Programming 1984. Lecture Notes in Computer Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12925-1_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-12925-1_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12925-7

  • Online ISBN: 978-3-540-38809-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation