Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
基本信息
- 批准号：18500011
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2006
- 资助国家：日本
- 起止时间：2006 至 2009
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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）
会议论文数量（0）
专利数量（0）
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting
通过简单类型术语重写中的强可计算性增强依赖对方法
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：Keiichirou Kusakari;Masahiko Sakai
- 通讯作者：Masahiko Sakai
Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems
证明高阶重写系统终止的静态依赖对方法
- DOI：
- 发表时间：2007
- 期刊：
- 影响因子：0
- 作者：Kiichirou Kusakari;Yasuo Iso-gai;Masahiko Sakai;Toshiki Sakabe Naoki Nishida
- 通讯作者：Toshiki Sakabe Naoki Nishida
プレスブルガー文付き項書換え系における書換え帰納法について
用 Presburger 语句重写术语重写系统中的归纳法
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：坂田翼;西田直樹;酒井正彦;草刈圭一朗;坂部俊樹
- 通讯作者：坂部俊樹
Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes
高阶重写系统及其可判定类的头需要策略
- DOI：
- 发表时间：2009
- 期刊：
- 影响因子：0
- 作者：Hideto Kasuya;Masahiko Sakai;Kiyoshi Agusa
- 通讯作者：Kiyoshi Agusa
On Decidability of Innermost Termination for Shallow Term Rewriting Systems
浅项重写系统最内层终止的可判定性
- DOI：
- 发表时间：2008
- 期刊：
- 影响因子：0
- 作者：笹田悠司;酒井正彦;西田直樹;坂部俊樹;草刈圭一朗;Satoshi Taoka;Masahiko Sakai
- 通讯作者：Masahiko Sakai
{{
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 }}
SAKAI Masahiko其他文献
みる きく しらべる かく かんがえる-対話としての質的研究
看、听、调查、写作、思考——作为对话的定性研究
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
ISHIDANaoki;SAKAI Masahiko;伊藤哲司 - 通讯作者：
伊藤哲司
Determinization of Conditional Term Rewriting Systems for Program Generation
程序生成条件项重写系统的确定
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
NAGASHIMA Masanori;SAKAI Masahiko;SAKABE Toshiki - 通讯作者：
SAKABE Toshiki
行と列の生成による線形計画ブースティング
通过行和列生成增强线性编程
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
KOJIMA Yoshiharu;SAKAI Masahiko;NISHIDA Naoki;KUSAKARI Keiichirou;SAKABE Toshiki;畑埜晃平 - 通讯作者：
畑埜晃平
Manufacturing process of Japanese "Hatakanagu" flag ornament
日本“Hatakanagu”旗饰的制作过程
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
UCHIYAMA Keita;SAKAI Masahiko;SAKABE Toshiki;KUSAKARI Keiichirou;ISHIDA Naoki;Masashi Kume - 通讯作者：
Masashi Kume
阪神・淡路大震災を記憶した〈場所〉(質的心理学講座第3巻社会と場所の経験)
记住阪神淡路大地震的地方（定性心理学课程第3卷：社会和地方的经验）
- DOI：
- 发表时间：
2008 - 期刊：
- 影响因子：0
- 作者：
UCHIYAMA Keita;SAKAI Masahiko;SAKABE Toshiki;KUSAKARI Keiichirou;ISHIDA Naoki;Masashi Kume;矢守克也 - 通讯作者：
矢守克也
SAKAI Masahiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('SAKAI Masahiko', 18)}}的其他基金
On Esoteric language Malbolge for software protection
论用于软件保护的 Esoteric 语言 Malbolge
- 批准号：
22650003 - 财政年份：2010
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
函数式程序分析、验证和高效执行的重写理论研究
- 批准号：
15500007 - 财政年份：2003
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Fundamental research on software verification based on algebraic method
基于代数方法的软件验证基础研究
- 批准号：
07680350 - 财政年份：1995
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
計算資源の抽象化を必要としない関数型言語の開発
开发不需要抽象计算资源的函数式语言
- 批准号：
24K14894 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ビルマの少数民族言語に関する類型的・系統的俯瞰像の構築
缅甸少数民族语言类型学和系统概述的构建
- 批准号：
23K20090 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Abstractive Neural Multi-document Summarization Considering Cross Document Structure
考虑跨文档结构的抽象神经多文档摘要
- 批准号：
21H03495 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Session type embedding for practical concurrent/distributed programming
用于实际并发/分布式编程的会话类型嵌入
- 批准号：
21K11827 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ブロックプログラミング環境に基づく学習支援環境の構築とその有効性
基于块编程环境的学习支持环境的构建及其效果
- 批准号：
20K12107 - 财政年份：2020
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (C)