Advertisement

On some syntactic equivalences of program schemas and related transformations

  • M. P. Fle
  • G. Roucairol
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)

Keywords

Function Symbol Choice State Program Schema Automaton Theory Related Transformation 
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.

Bibliography

  1. [ARS 77]
    J. Arsac. Construction de programmes structurés. Dunod éd. 1977Google Scholar
  2. [BER 67]
    A.J. Bernstein. Analysis of programs for parallel processing. IEEE. Trans. EC-15, no 5, oct. 1967Google Scholar
  3. [COU 77]
    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 VIGoogle Scholar
  4. [FLE 79]
    M.P. Flé. Etude et mise en oeuvre de quelques transformations de programme. Thèse de зème cycle, Institut de Programmation Paris VI, 1979Google Scholar
  5. [KEL 73]
    R.M. Keller. Parallel program schemata and maximal parallelism. JACM, vol. 20, no 3, 4, 1973Google Scholar
  6. [LED 75]
    H.F. Ledgard, M. Marcotty. A genealogy of control structures. CACM, vol. 18, nov. 1975Google Scholar
  7. [LOG 75]
    L. Logrippo. On some equivalence-preserving transformations in program Colloque IRIA, proving and improving programs. juillet 1975Google Scholar
  8. [LOG 78]
    L. Logrippo. Renamings and economy of memory in program schemata JACM, vol. 25, no 1, 1978Google Scholar
  9. [MIL 78]
    J.K. Millen. Construction with parallel derivations of the closure of a parallel program schema. IEEE Symposium on switching and automata theory, 1976Google Scholar
  10. [PAT 67]
    M.S. Paterson. Equivalence problem in a model of computation. PHD, Cambridge universityGoogle Scholar
  11. [ROU 74]
    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. [WID 78]
    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, 1978Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • M. P. Fle
    • 1
  • G. Roucairol
    • 1
  1. 1.Institut de ProgrammationUniversité P. et M. CurieParis Cedex 05

Personalised recommendations