课题基金 / 基金详情

Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs

Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
批准号：
18500011
负责人：
SAKAI Masahiko
金额：
$2.55万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500011/
关键词：
項書換え系関数型言語停止性合流性単純型書換え系定理自動証明潜在帰納法停止性証明滞在帰納法

项目摘要

项目成果

SAKAI Masahiko的其他基金

相似基金

相关文献

中文摘要
翻译
保证程序的正确性是构建高可靠系统的必要条件。这项研究从理论上推进了研究由所谓的函数式语言编写的程序的特性的方法。由于我们使用了一个经过充分研究的程序模型，称为术语重写系统，因此有必要填补模型和真实的编程语言之间的空白，其中一些已经成功。
英文摘要
Guaranteeing the correctness of programs is indispensable for constructing high-reliable systems. This research theoretically progressed methods for investigating properties of programs written by so-called functional languages. Since we use a well-studied program model, called term rewriting systems, it is necessary to fill gaps between the model and real programming languages, some of which are succeeded.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting
通过简单类型术语重写中的强可计算性增强依赖对方法
DOI： --
发表时间： 2007
期刊： Applicable Algebra in Engineering, Communica-tion and Computing 18
影响因子： --
作者： [Keiichirou Kusakari, Masahiko Sakai]
通讯作者： Masahiko Sakai
Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
证明高阶重写系统终止的静态依赖对方法
DOI： --
发表时间： 2007
期刊： 電子情報通信学会技術研究報告(SS2007-61) 107
影响因子： --
作者： [Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida]
通讯作者： Toshiki Sakabe Naoki Nishida
プレスブルガー文付き項書換え系における書換え帰納法について
用 Presburger 语句重写术语重写系统中的归纳法
DOI： --
发表时间： 2008
期刊： 電子情報通信学会技術研究報告(SS2008-1)
影响因子： --
作者： [坂田翼, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹]
通讯作者： 坂部俊樹
On Non-looping Term Rewriting
关于非循环术语重写
DOI： --
发表时间： 2006
期刊： Proc. of Eighth International Workshop on Termination
影响因子： --
作者： [Wang Yi, Masahiko Sakai]
通讯作者： Masahiko Sakai
共 34 条
    On Esoteric language Malbolge for software protection
    • 批准号：
      22650003
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $1.55万
    • 财政年份：
      2010
    • 负责人：
      SAKAI Masahiko
    • 依托单位：
      Nagoya University
    Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
    • 批准号：
      15500007
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.6万
    • 财政年份：
      2003
    • 负责人：
      SAKAI Masahiko
    • 依托单位：
      Nagoya University
    Fundamental research on software verification based on algebraic method
    海外基金