• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Implementation of Parallel Functional Programming Systems

Research Project

Project/Area Number 06558039
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section試験
Research Field 計算機科学
Research InstitutionUniversity of Tokyo

Principal Investigator

TAKEICHI Masato  University of Tokyo, Graduate School of Engineering, Professor, 大学院・工学系研究科, 教授 (10011165)

Co-Investigator(Kenkyū-buntansha) TANAKA Tetsuro  University of Tokyo, Educational Computer Center, Assistant Professor, 教育用計算機センター, 助教授 (60251360)
MATSUOKA Satoshi  Tokyo Institute of Technology, Assistant Professor, 大学院・情報理工学研究科, 助教授 (20221583)
IWASAKI Hideya  Tokyo University of Agriculture and Technology, Faculty of Engineering Assistant, 工学部, 助教授 (90203372)
YONEZAWA Akinori  University of Tokyo, Graduate School of Science, Professor, 大学院・理学系研究科, 教授 (00133116)
Project Period (FY) 1994 – 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥15,800,000 (Direct Cost: ¥15,800,000)
Fiscal Year 1996: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1995: ¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 1994: ¥12,200,000 (Direct Cost: ¥12,200,000)
KeywordsFunctional Programming / Parallel Evaluation / Program Optimization / 関数型言語 / 並列関数プログラミング
Research Abstract

This project aims at development of functional programming systems for parallel computers. Implementation of a parallel functional system Parallel Gofer on the AP1000 computer has been finished and under evaluation. This implementation is based on the Gofer system developed by Mark Jones and accepts any Gofer programs for sequential evaluation. Programs are allowed to include references to extended library functions for parallelization.
Several new ideas for this implementation have been published already. One of such ideas is so-called "unboxing" techniques for data construction. This implementation showed that the idea is promising while some optimization should be considered for practical application.
Along with this implementation, a novel idea for optimization has been explored and implemented. Although most optimization so far relies on heuristics, our new system is completely mechanical. It is based on hylomorphisms which comes from research on constructive algorithmics. This technique is applicable to sequential and parallel functional programs.
These results have been made public at international conferences and published in the proceedings.

Report

(4 results)
  • 1996 Annual Research Report   Final Research Report Summary
  • 1995 Annual Research Report
  • 1994 Annual Research Report
  • Research Products

    (26 results)

All Other

All Publications (26 results)

  • [Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP'96). 73-82 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem." Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123. 553-562 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Co. puter Science (MFCS'96),Springer LNCS 1113. 407-418 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Cheap Tupling in Calculational Form." 8th International Symposium on Programming Languages,Implementations,Logics,and Programs,Springer LNCS. 471-472 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "An Extension of the Acid Rain Theorem" Proc.The Second Fuji International Workshop on Functional and Logic Programming,World Scientific. (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP'96). 73-82 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem." Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123, pp. 553-562 ENS Lyon, France, August. 553-562 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Comp Computer Science (MFCS'96), Springer LNCS 1113, pp. 407-418, Cracow, September. 407-418 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Cheap Tupling in Calculational Form." 8th Imternational Symposium on Programming Languages, Implementations, Logics, and Programs, Springer LNCS 1140. 471-472 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "An Extension of the Acid Rain Theorem." Proc. The 2nd Fuji International Workshop on Functional and Programming. World Scientific, November. (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP'96). 73-82 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem" Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123. 553-562 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Computer Scince(MFCS'96),Springer LNCS 1113. 407-418 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Zhenjiang Hu: "Cheap Tupling in Calculational Form." 8th International Symposium on Programming Languages,Implementations,Logics,and Programs,Springer LNCS. 471-472 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Zhenjiang Hu: "An Extension of Acid Rain Theorem" Proc.The Second Fuji Internatiorral Workshop on Functional and Logic Programming,World Scientific. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Zhenjiang Hu: "Making Recursions Manipulable by Constructing Medio-types." METR. 95-04. (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Zhenjiang Hu: "Promotional Transformation of Monadic Programs." METR. 95-05. (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 小川宏高: "MPIのソフトウェアオーバーヘッド除去による最適化手法の評価" 情報処理学会研究報告. 95-HPC-57. 13-18 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 石井裕一郎: "関数型言語における参照透明性を保持する参照型" 日本ソフトアェア科学会第12回大会論文集. 257-260 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 尾上能之: "Shortcut Deforestationにおける効率の解析" 日本ソフトアェア科学会第12回大会論文集. 261-264 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms From Recursive Definitions." METR. 95-11. (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Liangwei Xu: "Derivation of Algorithms by Introduction of Generation Functions" New Generation Computing. 13. 75-98 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 田中哲朗: "疎結合並列計算機上の遅延評価型関数型言語処理系の性能評価" 情報処理学会プログラミング研究会報告. 18. (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 田中哲朗: "疎結合並列計算機上の関数型言語実行の効率化" 日本ソフトウェア科学会第11回大会論文集. 297-300 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 徐良為: "Preorder Closures for Nondeterministic Programs" 日本ソフトウェア科学会第11回大会論文集. 417-420 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 胡振江: "Promotion Strategies for Parallelizing Tree Algorithms" 日本ソフトウェア科学会第11回大会論文集. 421-424 (1994)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi