课题基金 / 基金详情

Implementation of a Program Calculation System

Implementation of a Program Calculation System
程序计算系统的实现
批准号：
10558041
负责人：
TAKEICHI Masato
金额：
$6.85万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 2000
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10558041/
关键词：
Program CalculationFusion TransformationCalculationAlgorithmFunctional Programming

项目摘要

项目成果

TAKEICHI Masato的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(46)
专著(0)
科研奖励(0)
会议论文
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
M. Takeichi 和 Z. Hu：“计算承载程序：如何编码程序转换（邀请演讲）”软件演化原理国际研讨会 (ISPSE 2000)，金泽，2000 年 11 月 1-2 日。IEEE 计算机协会。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Z. Hu, H. Iwasaki, M. Take-ichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)
Z. Hu、H. Iwasaki、M. Take-ichi：“计算累积”新一代计算 17(2)（出版中）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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)
W.N.Chin,A.Takano,Z.Hu：“Parallelization via Context Preservation”IEEE 计算机学会国际计算机语言会议，芝加哥洛约拉大学，芝加哥，美国，1998 年 5 月。IEEE Press.1-12 (1998)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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)
Z.Hu，M.Takeichi，H.Iwasaki：“扩散：计算高效并行程序”1999 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会（PEPM99）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 21 条
    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
    海外基金