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

Implementation of a Program Calculation System

Research Project

Project/Area Number 10558041
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section展開研究
Research Field 計算機科学
Research InstitutionThe University of Tokyo

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) ONOUE Yoshiyuki  Graduate School of Engineering, The University of Tokyo, Research Assistant, 大学院・工学系研究科, 助手 (80292770)
TANAKA Tetsuro  Information Technology Center, The University of Tokyo, Associate Professor, 情報基盤センター, 助教授 (60251360)
HU Zhenjiang  Graduate School of Engineering, The University of Tokyo, Associate Professor, 大学院・工学系研究科, 助教授 (50292769)
TAKANO Akihiko  National Institute of Informatics, Software Research Division, Professor, ソフトウェア研究系, 教授
岩崎 英哉  東京大学, 大学院・工学系研究科, 助教授 (90203372)
高野 昭彦  株式会社, 日立製作所・基礎研究所, 主任研究員
Project Period (FY) 1998 – 2000
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥10,700,000 (Direct Cost: ¥10,700,000)
Fiscal Year 2000: ¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 1999: ¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 1998: ¥4,800,000 (Direct Cost: ¥4,800,000)
KeywordsProgram Calculation / Fusion Transformation / Calculation / Algorithm / Functional Programming
Research Abstract

Our research aims at implementing a program calculator based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for program transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the HYLO calculator system as our research project. Our calculator deals with fusion transformation which is effectively used in functional programs. The final stage of this research conducted this year finishes implementation of the HYLO system with evaluation using benchmark programs. The result shows practical effectiveness of the calculation system based on Constructive Algorithmics. The HYLO system can be used through the WEB page.

Report

(4 results)
  • 2001 Final Research Report Summary
  • 2000 Annual Research Report
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • Research Products

    (23 results)

All Other

All Publications (23 results)

  • [Publications] W.N.Chin, S.C.Khoo, Z.Hu, M.Takeichi: "Deriving Parallel Codes via Invariants"International Static Analysis Symposium 2000 (SAS2000). LNCS 1824. 75-94 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] I.Sasano, Z.Hu, M.Takeichi, M.Ogawa: "Make it Practical : A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems"The 2000 ACM SIGPLAN International Conf. on Functional Pro-grarnrning (ICFP'00). 137-149 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M.Takeichi, Z.Hu: "Calculation Carrying Programs : How to Code Program Transformations"International Symposium on Principles of Software Evolution (ISPSE 2000). 250-259 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] W.N.Chin, S.C.Khoo, Z. Hu, M. Takeichi: "Deriving Parallel Codes via Invariants"International Static Analysis Symposium 2000 (SAS2000), University of California, June 2000, LNCS 1824, Springer Verlag. 75-94 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] I. Sasano, Z. Hu, M. Takeichi, M. Ogawa: "Make it Practical: A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems"The 2000 ACM STGPL.4N International Conf. on Functional Programming (ICFP'OO), Montreal, Canada, September 2000. ACM Press. 137-149 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] M. Takeichi and Z.Hu.: "Calculation Carrying Programs: How to code Program Transformation (Invited Talk)"International Symposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, November 1-2, 2000. IEEE Computer Society. 250-259

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 尾上能之,胡振江,岩崎英哉,武市正人: "プログラム融合変換の実用的有効性の検証"日本ソフトウェア科学会「コンピュータソフトウェア」. 17. 273-277 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 篠埜功,胡振江,武市正人: "グラフの探索関数の再帰的定義と変換"日本ソフトウェア科学会「コンピュータソフトウェア」. 17. 194-211 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 岩崎英哉,胡振江,武市正人: "漸次的組化と融合による関数プログラムの最適化"日本ソフトウェア科学会「コンピュータソフトウェア」. 18. 46-59 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] W.N.Chin,S.C.Khoo,Z.Hu,M.Takeichi: "Deriving Parallel Codes via Invariants"International Static Analysis Symposium 2000 (SAS2000). LNCS 1824. 75-94 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] I.Sasano,Z.Hu,M.Takeichi,M.Ogawa: "Make it Practical : A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems"The 2000 ACM SIGPLAN International Conf. on Functional Programming (ICFP'00). 137-149 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] M.Takeichi,Z.Hu: "Calculation Carrying Programs : How to Code Program Transformations"International Symposium on Principles of Software Evolution (ISPSE 2000). 250-259 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Z.Hu,W.N.Chin,M.Takeichi: "Calculating a New Data Mining Algorithm for Market Basket Analysis"Second International Workshop on Practical Aspects of Declarative Languages(PADL'00). LNCS 1753. 169-184 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 尾上能之、胡振江、岩崎英哉、武市正人: "プログラム融合変換の実用的有効性の検証"日本ソフトウェア科学会「コンピュータソフトウェア」. 17(印刷中). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 篠埜功、胡振江、武市正人: "グラフの探索関数の再帰的定義と変換"日本ソフトウェア科学会「コンピュータソフトウェア」. 17(印刷流). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] Z.Hu,M.Takeichi,H.Iwasaki: "Diffusion : Calculating Efficient Parallel Programs"1999 ACM SIGPLAN Workshop on Partial Evalution and Semantics-Based Program Manipulation(PEPM'99). 85-94 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Z.Hu,H.Iwasaki,M.Takeichi: "Calculating Accumulations"New Generation Computing. 17(2). 153-173 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Z.Hu,H.Iwasaki,M.Takeichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] A.Takano,Z.Hu,M.Takeichi: "Program Transformation in Calculational Form" ACM Computing Surveys. (印刷中). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Z.Hu,M.Takeichi,H.Iwasaki: "Diffusion: Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulatio,San Antonio,Texas,Jan-uary 22-23,1999. 85-94 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Z.Hu,M.Takeichi: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching" Parallel Processing Letters. 9(1)(印刷中). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] W.N.Chin,A.Takano,Z.Hu: "Parallelization via Context Preservation" IEEE Computer Society International Conerence on Computer Lan-guages,Loyola University Chicago,Chicago,USA,May 1998. IEEE Press.1-12 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 尾上能之,胡振江,武市正人: "HYLOシステムによるプログラム融合変換の実現" コンピュータソフトウェア. 15(6). 62-56 (1998)

    • Related Report
      1998 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi