Transformation techniques in Pei

  • S. Genaud
  • E. Violard
  • G. -R. Perrin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 966)


This article presents a few examples of program transformation strategies in the language Pei [Vio94]. Three strategies are developed: a simplification of the communications, the introduction of broadcasts by removing recursion from data field definitions, and the introduction of a reduction operator. These transformations emphasize the relationships between several programs solving a given problem, especially in the data parallelism area.


Abstraction Broadcast Communication Data-parallelism Reduction Refinement 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BL92]
    L. Bougé and J.-L. Levaire. Control structures for data-parallel SIMD lan-guages: semantics and implementation. FGCS, 8:363–378, 1992.Google Scholar
  2. [CCL91]
    M. Chen, Y. Choo, and J. Li. Parallel Functional Languages and Compilers. Frontier Series. ACM Press, 1991. Chapter 7.Google Scholar
  3. [CM88]
    K.M. Chandy and J. Misra. Parallel Program Design: A foundation. Addison Wesley, 1988.Google Scholar
  4. [Len93]
    Christian Lengauer. Loop parallelization in the polytope model. June 1993.Google Scholar
  5. [Mau89]
    C. Mauras. Alpha: un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones. PhD thesis, U. Rennes, 1989.Google Scholar
  6. [Mor90]
    C. Morgan. Programming from specifications. C.A.R. Hoare. Prentice Hall Ed., Endlewood Cliffs, N.J., 1990.Google Scholar
  7. [Red95]
    Xavier Redon. Détection et exploitation des récurrences dans les programmes scientifiques en vue de leur parallélisation. PhD thesis, U. Paris 6, Jan 1995.Google Scholar
  8. [Vio94]
    E. Violard. A mathematical theory and its environment for parallel programming. Parallel Processing Letters, 4(3):313–328, 1994.Google Scholar
  9. [VP94]
    E. Violard and G.-R. Perrin. Reduction in pei CONPAR'94, LNCS, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • S. Genaud
    • 1
  • E. Violard
    • 1
  • G. -R. Perrin
    • 1
  1. 1.ICPS, Université Louis Pasteur, StrasbourgIllkirch

Personalised recommendations