論文

査読有り
1999年

Parallel functional programming on recursively defined data via data-parallel recursion

Journal of Functional Programming
  • Susumu Nishimura
  • ,
  • Atsushi Ohori

9
4
開始ページ
427
終了ページ
462
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1017/S0956796899003457
出版者・発行元
Cambridge University Press

This article proposes a new language mechanism for data-parallel processing of dynamically allocated recursively defined data. Different from the conventional array-based data-parallelism, it allows parallel processing of general recursively defined data such as lists or trees in a functional way. This is achieved by representing a recursively defined datum as a system of equations, and defining new language constructs for parallel transformation of a system of equations. By integrating them with a higher-order functional language, we obtain a functional programming language suitable for describing data-parallel algorithms on recursively defined data in a declarative way. The language has an ML style polymorphic type system and a type sound operational semantics that uniformly integrates the parallel evaluation mechanism with the semantics of a typed functional language. We also show the intended parallel execution model behind the formal semantics, assuming an idealized distributed memory multicomputer.

リンク情報
DOI
https://doi.org/10.1017/S0956796899003457
ID情報
  • DOI : 10.1017/S0956796899003457
  • ISSN : 0956-7968
  • SCOPUS ID : 0033468357

エクスポート
BibTeX RIS