Asynchronous functional parallel programs

  • Jacques Julliand
  • Guy-René Perrin
Computer Architecture, Concurrency, Parallelism, Communication And Networking
Part of the Lecture Notes in Computer Science book series (LNCS, volume 468)


Our purpose is to make a contribution to parallel programming in an asynchronous context, according to distributed architectures. The main difficulty in inventing parallel programs is to specify the way parallel components do cooperate. These features have to be progressively derived as systematically as possible from abstract specifications. The challenge is then to introduce relevant expression tools and a convenient parallel modeling for such developments. Programming with equations seems to be a very convenient way for that purpose. The aim of this paper is to associate an asynchronous parallel interpretation with fix-point systems, in which communications are defined.


Parallelism Equations Functional Language Natural Semantics Asynchronous Communications 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    E.A. Ascroft, W.W. Wadge. LUCID: a non procedural language with iteration. CACM vol 20 no 7, 07 / 77Google Scholar
  2. [2]
    M.R. Barbacci, J. Wing. Specifing functional andtiming behavior for real-time applications. 258, Spring-Verlag, PARLE, Eindhoven, 06/87.Google Scholar
  3. [3]
    F. Boussinot. Réseaux de processus avec mélange équitable: une approche du temps réel. Thèse d'état, PARIS 7, 1981.Google Scholar
  4. [4]
    L. Cardelli. Basic polymorphic typechecking. Polymorphism, January 85.Google Scholar
  5. [5]
    Ph. Clauss, G. Perrin. Synthesis of process arrays. CONPAR'88, Manchester.Google Scholar
  6. [6]
    L. Damas, R. Milner. Principal type-schemes for functional programs. 1st ACM conf. P.O.P.L. 82, pp 207.Google Scholar
  7. [7]
    J.M. Delosme, I.C.F. Ipsen. An illustration of a methodology for the construction of efficient systolic architectures in VLSI. Sd Inter. Symposium on VLSI technology systems and applications, 1985.Google Scholar
  8. [8]
    T. Despeyroux. TYPOL: A formalism to implement natural semantics. R.T. INRIA no94, 03/88Google Scholar
  9. [9]
    N.Halbwachs, P. Caspi, D. Pilaud, J.A. Plaice. LUSTRE: A declarative language for programming synchronous systems. P.O.P.L. 1987, München, L.N.C.S no 215, pp 178.Google Scholar
  10. [10]
    D. Harrison. RUTH: A functional language for real-time programming. L.N.C.S. no 258, Springer-Verlag, PARLE, Eindhoven, 06/87, p 297, vol II.Google Scholar
  11. [11]
    C.A.R. Hoare. Communicating Sequential Processes. Com. ACM 21, 8, 1978.Google Scholar
  12. [12]
    J.D. Ichbiah and all. Preliminary ADA reference manual and rationale for the design of the ADA prog. language. SIGPLAN Notices, vol 14, no 16, 1979.Google Scholar
  13. [13]
    J. Julliand. Expression fonctionnelle de systèmes de processus communicants. Rap. L.I.B. no 48, Univ. de Besançon.Google Scholar
  14. [14]
    G. Kahn. The semantics of a simple language for parallel programming. I.F.I.P. 74. North Holland.Google Scholar
  15. [15]
    G. Kahn. Natural semantics. Rapport INRIA no 601.Google Scholar
  16. [16]
    R.Karp, R.Miller, S.Winograd. The organization of computations for uniform recurrence equations. J. of ACM, 14/3/67.Google Scholar
  17. [17]
    F. Kröger. Abstract modules: combining algebraic and temporal logic specification means. T.S.I.87, vol. 6,no6Google Scholar
  18. [18]
    H.T. Kung. The structure of parallel algorithms.Advances in Comput.,15,1,79.Google Scholar
  19. [19]
    C. Mongenet, G.R. Perrin. Synthesis of systolic arrays for inductive problems. PARLE, Eindhoven, LNCS 259, 87.Google Scholar
  20. [20]
    P. Quinton, V. Van Dongen. The mapping of linear recurrence equations on regular arrays. Submitted to The Journal of VLSI Signal processing, 1988.Google Scholar
  21. [21]
    D. Turner. Functional programming and communicating processes. L.N.C.S. no 258, Spr.-Ver., PARLE, Eindhoven, 06/87, p 54.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Jacques Julliand
    • 1
  • Guy-René Perrin
    • 1
  1. 1.Laboratoire d'Informatique, URA CNRS 822, and Centre de Recherche en Informatique de NancyUniversité de Franche-ComtéBesançon cédexFrance

Personalised recommendations