Skip to main content
SpringerLink
Log in

On some syntactic equivalences of program schemas and related transformations

  • Conference paper
  • First Online:
Book cover International Symposium on Programming (Programming 1982)

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

Included in the following conference series:

  • 108 Accesses

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.

Bibliography

  1. J. Arsac. Construction de programmes structurés. Dunod éd. 1977

    Google Scholar 

  2. A.J. Bernstein. Analysis of programs for parallel processing. IEEE. Trans. EC-15, no 5, oct. 1967

    Google Scholar 

  3. G. Cousineau. Les arbres à feuilles indicées: un cadre algébrique pour l'étude des structures de contrôle. Thèse d'état, Université Paris VI

    Google Scholar 

  4. M.P. Flé. Etude et mise en oeuvre de quelques transformations de programme. Thèse de зème cycle, Institut de Programmation Paris VI, 1979

    Google Scholar 

  5. R.M. Keller. Parallel program schemata and maximal parallelism. JACM, vol. 20, no 3, 4, 1973

    Google Scholar 

  6. H.F. Ledgard, M. Marcotty. A genealogy of control structures. CACM, vol. 18, nov. 1975

    Google Scholar 

  7. L. Logrippo. On some equivalence-preserving transformations in program Colloque IRIA, proving and improving programs. juillet 1975

    Google Scholar 

  8. L. Logrippo. Renamings and economy of memory in program schemata JACM, vol. 25, no 1, 1978

    Google Scholar 

  9. J.K. Millen. Construction with parallel derivations of the closure of a parallel program schema. IEEE Symposium on switching and automata theory, 1976

    Google Scholar 

  10. M.S. Paterson. Equivalence problem in a model of computation. PHD, Cambridge university

    Google Scholar 

  11. G. Roucairol. Une transformation de programmes séquentiels en programmes parallèles. Programming symposium, Paris, 1974, Lecture Notes in Comp. Sc. no 19, Springer Verlag ed.

    Google Scholar 

  12. A. Widory. Etude du flot des données d'un programme. Application à la gestion des mémoires. Thèse de зème cycle, Institut de Programmation, Paris VI, 1978

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Programmation, Université P. et M. Curie, 4, place Jussieu, 75230, Paris Cedex 05

    M. P. Fle & G. Roucairol

Authors
  1. M. P. Fle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Roucairol
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mariangiola Dezani-Ciancaglini Ugo Montanari

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fle, M.P., Roucairol, G. (1982). On some syntactic equivalences of program schemas and related transformations. In: Dezani-Ciancaglini, M., Montanari, U. (eds) International Symposium on Programming. Programming 1982. Lecture Notes in Computer Science, vol 137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11494-7_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-11494-7_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11494-9

  • Online ISBN: 978-3-540-39184-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation