A metacircular data-parallel functional language

  • Gaétan Hains
  • John Mullins
Posters: Extended Abstracts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 966)


We describe and relate two data-parallel semantics for the simply-typed λ-calculus and obtain a semantic function expressible in its object language. The explicitly distributed semantics allow the formal specification of the interpreter's effect on data partitioning and communications.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. Abelson and G. J. Sussman, Structure and Interpretation of Computer Programs, MIT Press, 1985.Google Scholar
  2. [2]
    G. Blelloch and S. Chatterjee, VCODE: a data-parallel intermediate language, in 3rd IEEE Symp. Frontiers of Massively Parallel Comp., 1990.Google Scholar
  3. [3]
    L. Bougé, On the semantics of languages for massively parallel SIMD architectures, in PARLE-91, E. H. L. Aarts and J. van Leeuwen, eds., no. 505 and 506 in L.N.C.S., Eindhoven, June 1991, Springer.Google Scholar
  4. [4]
    S. Brookes and S. Geva, Continuous functions and parallel algorithms on concrete data structures, in MFPS'91, L.N.C.S., Springer, 1991.Google Scholar
  5. [5]
    E. Chailloux and C. Foisy, Caml-Flight alpha: Implantation et applications, in Journées Franco. Lang. Applicatifs, C. Queinnec, V. V. Donzeau-Gouge, and P. Weis, eds., no. 13 in Collection Didactique, INRIA, Janvier 1995.Google Scholar
  6. [6]
    P.-L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, Birkhäuser, Boston, second ed., 1993.Google Scholar
  7. [7]
    G. Hains and J. Mullins, A categorical model of array domains, Rapport de Recherche RR94-43, LIP, ENS-Lyon, December 1994.Google Scholar
  8. [8]
    -, Array structures and data-parallel algorithms, Research Note RR-95-1E, ISIS, Fujitsu Labs, Makuhari, Japan, 1995.Google Scholar
  9. [9]
    P. Hammarlund and B. Lisper, Data parallel programming: A survey and proposal for a new model, Tech. Rep. TRITA-IT-9308, Swedish Royal Institute of Technology, Stockholm, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Gaétan Hains
    • 1
  • John Mullins
    • 2
  1. 1.ISIS, Fujitsu LabsChibaJapan
  2. 2.Dept. Computer ScienceUniversity of OttawaOttawaCanada

Personalised recommendations