刷新
{{item.name}}会员
Research on program transformation systems based on automated theorem proving
基于自动化定理证明的程序转换系统研究
基本信息
- 批准号：19500003
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2007
- 资助国家：日本
- 起止时间：2007 至 2009
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The theory of term rewriting systems is widely used in the fields of automated theorem provings and computation models. This research aims to develop basic theories and prototypes for automated program transformation systems based on term rewriting theory. Concrete results include an automated construction method of program transformation templates, a new termination proof of higher-order programs, an automated lemma generation method for rewriting induction, an automated confluence prover of term rewriting systems.
项重写系统理论在自动定理证明和计算模型领域有着广泛的应用。本研究旨在发展基于术语重写理论的自动程序转换系统的基本理论和原型。具体成果包括程序转换模板的自动构造方法、高阶程序的新终止性证明、重写归纳的自动引理生成方法、项重写系统的自动汇流证明器。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Termination proof of S-expression rewriting systems with recursive path relations
具有递归路径关系的S-表达式重写系统的终止证明
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Alvarado CG;Maruyama S;Cheng J;Ida-Yonemochi H;Kobayashi T;Yamazaki M;Takagi R;Saku T;Yoshihito Toyama
- 通讯作者：Yoshihito Toyama
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
简单类型依赖对的参数过滤和可用规则
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：T. Aoto;T. Yamada
- 通讯作者：T. Yamada
Automatic Construction of Program Transformation Templates
程序转换模板的自动构建
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Yuki Chiba;Takahito Aoto;Yoshihito Toyama
- 通讯作者：Yoshihito Toyama
Soundness of Rewriting Induction based on an Abstract Principle
基于抽象原理的重写归纳法的可靠性
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：Yuki Chiba;Takahito Aoto;Yoshihito Toyama;Takahito Aoto
- 通讯作者：Takahito Aoto
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
TOYAMA Yoshihito其他文献
TOYAMA Yoshihito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('TOYAMA Yoshihito', 18)}}的其他基金
Research on automated confluence proving for term rewriting systems
术语重写系统自动汇合证明研究
- 批准号：
22500002 - 财政年份：2010
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Program verification method based on reduction approximations
基于约简近似的程序验证方法
- 批准号：
14580357 - 财政年份：2002
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Program verification based on higher order rewriting systems
基于高阶重写系统的程序验证
- 批准号：
07680347 - 财政年份：1995
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
プログラム変換技術を活用する高性能科学技術計算向け高生産プログラミング環境
利用程序转换技术的高性能科学技术计算的高生产力编程环境
- 批准号：
20K11763 - 财政年份：2020
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
プログラム変換を用いたソフトウェアセキュリティの改善手法についての研究
基于程序转换的软件安全改进方法研究
- 批准号：
16K00019 - 财政年份：2016
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究
优化问题算法的程序转换系统配置研究
- 批准号：
08J02411 - 财政年份：2008
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
計算再利用と投機実行のためのプログラム変換方式の研究
计算重用和推测执行的程序转换方法研究
- 批准号：
18650005 - 财政年份：2006
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Exploratory Research
プログラム変換による高性能・高信頼性ソフトウエアの自動生産の研究
通过程序转换自动生成高性能、高可靠性软件的研究
- 批准号：
04J01729 - 财政年份：2004
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
広範囲なデータ型を対象とした機械的プログラム変換手法の確立
建立多种数据类型的机械程序转换方法
- 批准号：
16700029 - 财政年份：2004
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
プログラム変換技術による適応型ミドルウェアの研究
利用程序转换技术的自适应中间件研究
- 批准号：
04F04819 - 财政年份：2004
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
操作的意味を保存するプログラム変換の研究
保留运行意义的程序转换研究
- 批准号：
14780251 - 财政年份：2002
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
定理証明システムによる型システムとプログラム変換の検証
使用定理证明系统验证类型系统和程序转换
- 批准号：
13780193 - 财政年份：2001
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
プログラム変換を中心とする、ごみ集め時間短縮(ごみ回避)システムの実装
实现以程序转换为中心的垃圾收集时间减少（垃圾避免）系统
- 批准号：
99J06282 - 财政年份：1999
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows