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

2001 Fiscal Year Final Research Report Summary

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, ソフトウェア研究系, 教授
Project Period (FY) 1998 – 2000
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.

  • Research Products

    (6 results)

All Other

All Publications (6 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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(和文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2003-09-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi