Advertisement

Equivalences dans l'algèbre des schémas de programme

  • Irène Guessarian
Schemas De Programmes Schematology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)

Keywords

Nous Donnons Cursive Schema Nous Associons 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. 1-.
    De BAKKER,J., de ROEVER, W., "A calculus for polyadic récursive schemas". Manuscrit non publié, (1972).Google Scholar
  2. 2-.
    LE BERRE,F., L'ELGOUAC'H,J., manuscrit non publié, (1972).Google Scholar
  3. 3-.
    LUCKHAM,D., GARLAND,S., UCLA Computer Science Department report (1971).Google Scholar
  4. 4-.
    NIVAT,M., "Automata, Langages and Programming," North Holland p 293–307 (1973).Google Scholar
  5. 5-.
    PATERSON,M., Hewitt,C., "Comparative Schematology" Project MAC, M.I.T., (1971).Google Scholar
  6. 6-.
    SCOTT,D., "Symposium on Semantics of Algorithmic langages," Lectures notes in Mathematics No 188. p 311–372 (1971).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • Irène Guessarian
    • 1
  1. 1.CNRS-Universite Paris VIIFrance

Personalised recommendations