课题基金 / 基金详情

Program Optimization Based on Constructive Algorithmics

Program Optimization Based on Constructive Algorithmics
基于构造算法的程序优化
批准号：
09680326
负责人：
TAKEICHI Masato
金额：
$2.05万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1997
资助国家：
日本
项目状态：
已结题
起止时间：
1997 至 1998
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09680326/
关键词：
Fusion TransformationConstructive AlgorithmicsCalculationAlgorithmFunctional Programming構成的アルゴリズム論プログラム最適組変換

项目摘要

项目成果

TAKEICHI Masato的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Our research aims at designing a framework for program optimization based on constructive algorithmics which establishes a methodology for implementing practical transformation systems. We proposed a technique for program transformation based on algebraic rules which leads to formulation of transformation algorithms. Our calculational techniques are tupling, fusion, parallelization etc. all come from constructive basis.The final stage of this research conducted this year finishes our formulation of program transformation along with construction of a prototype system for transforming programs into more efficient ones with evaluation of its effectiveness.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
胡 振江, 武市 正人: "Synthesizing Calculational Laws for Parallelization" 日本ソフトウェア科学会第14回大会論文集. 481-484 (1997)
胡振江，Masato Takeichi：“并行化的综合计算定律”第 14 届日本软件学会年会论文集 481-484 (1997)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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)
Z. Hu、M. Takeichi、H. Iwasaki：“扩散：计算高效并行程序”1999 年 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会，德克萨斯州圣安东尼奥，1999 年 1 月 22-23 日。85-
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Z.Hu, M.Takeichi, H.Iwasaki: "Diffusion : Calculating Efficient Parallel Programs" 199 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulatio, San Antonio, Texas, January. 22-23. 85-94 (1999)
Z.Hu、M.Takeichi、H.Iwasaki：“扩散：计算高效并行程序”199 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会，德克萨斯州圣安东尼奥，1 月。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
A. Takano, Z. Hu, M. Take-ichi: "Program Transformation in Calculational Form" ACM Computing Surveys. (印刷中). (1999)
A. Takano、Z. Hu、M. Take-ichi：“计算形式的程序转换”ACM 计算调查（1999 年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 18 条
    Parallelism-Oblivious Parallel Programming
    Bidirectional Transformation Mechanisms and its Application
    • 批准号：
      19200002
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.12万
    • 财政年份：
      2007
    • 负责人：
      TAKEICHI Masato
    • 依托单位：
      The University of Tokyo
    Calculation Carrying Document Processing Language and its Application
    • 批准号：
      15200001
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $18.89万
    • 财政年份：
      2003
    • 负责人：
      TAKEICHI Masato
    • 依托单位：
      The University of Tokyo
    Implementation of Constructive Parallel Programming Models
    • 批准号：
      11480065
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.09万
    • 财政年份：
      1999
    • 负责人：
      TAKEICHI Masato
    • 依托单位：
      The University of Tokyo
    海外基金