書換えシステム用最適化コンパイラに関する研究
書換えシステム用最適化コンパイラに関する研究
重写系统编译器优化研究
批准号：
10780180
负责人：
緒方 和博
金额：
$1.28万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 1999
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本年度は,以下のことを行った。・最適化技法の抽象機械TRAMへの組込み:前年度までに開発した書換えシステム用の最適化技法の一部をTRAMに組み入れた。その結果,遅延評価型の関数言語に比較して,高速に書き換えることができることが,いくつかの実験で確認できた。・要求駆動E戦略の操作的意味の記述:TRAMに実装した簡約戦略は,OBJ2で最初に用いられたE戦略である。CafeOBJの簡約戦略は,E戦略を拡張することで,E戦略の弱点を補った要求駆動E戦略である。要求駆動E戦略を利用した書換えの操作的意味を,CafeOBJで記述し,各演算子(関数あるいはデータ構成子)への局所戦略の与え方に関する考察を行った。TRAMに,要求駆動E戦略を取り入れることは有効であると考えている。・研究成果のまとめ:研究成果のまとめとして,電子情報通信学会論文誌D-1に採録された論文「項書き換え抽象機械TRAMの設計と実装」を執筆した。
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
K.Ogata and K.Futatsugi: "Operational semantics of rewriting with the on-demand evaluation strategy"Proceedings of 2000 ACM Symposium on Applied Computing. (発表予定). (2000)
K.Ogata 和 K.Futatsugi：“使用按需评估策略重写的操作语义”2000 年 ACM 应用计算研讨会论文集（即将发表）。
K.Ogata 和 K.Futatsugi：“使用按需评估策略重写的操作语义”2000 年 ACM 应用计算研讨会论文集（即将发表）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Nagaya, Matsumoto, Ogata, Futatsugi: "How to give local ctiategias to function symbol for equality of two implomentations of the E-strategy with and without evaluation plags" Proc.of Asian Symposium on Computer Mathematics. 71-81 (1998)
Nagaya、Matsumoto、Ogata、Futatsugi：“如何赋予局部 ctiategias 功能符号，以实现有和没有评估板的 E 策略的两种实现的平等”Proc.of 亚洲计算机数学研讨会。
Nagaya、Matsumoto、Ogata、Futatsugi：“如何赋予局部 ctiategias 功能符号，以实现有和没有评估板的 E 策略的两种实现的平等”Proc.of 亚洲计算机数学研讨会。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
五百蔵,緒方,二木: "CafeOBJのモジュールシステムの設計およびCafeOBJによる検証" ソフトウェア工学の基礎V(レクチャーノート/ソフトウェア工学). 20. 209-218 (1998)
Iozo、Ogata、Niki：“CafeOBJ 模块系统的设计和使用 CafeOBJ 的验证”软件工程基础 V（讲义/软件工程）。 20. 209-218 (1998)。
Iozo、Ogata、Niki：“CafeOBJ 模块系统的设计和使用 CafeOBJ 的验证”软件工程基础 V（讲义/软件工程）。 20. 209-218 (1998)。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Ogata, Ioroi, Futatsugi: "Optimizing tetra relating using discrimination nets with spacialization" Proc.of the 1999ACM Symposium on Applied Computing. (1999)
Ogata、Ioroi、Futatsugi：“使用具有空间化的歧视网络优化四相关”1999ACM 应用计算研讨会的 Proc.。
Ogata、Ioroi、Futatsugi：“使用具有空间化的歧视网络优化四相关”1999ACM 应用计算研讨会的 Proc.。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
五百蔵重典,緒方和博,二木厚吉: "項書き換え抽象機械TRAMの設計と実装"電子情報通信学論文誌D1. (印刷中). (2000)
Shigenori Gohyakura、Kazuhiro Ogata、Atsuyoshi Futaki：“TRAM 的设计和实现，用于重写术语的抽象机”《电子、信息和通信工程杂志》D1（印刷中）。
Shigenori Gohyakura、Kazuhiro Ogata、Atsuyoshi Futaki：“TRAM 的设计和实现，用于重写术语的抽象机”《电子、信息和通信工程杂志》D1（印刷中）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 8 条
リアクティブシステムの仕様記述、検証、および実装に関する研究
-
批准号：12780206
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.38万
-
财政年份：2000
-
负责人：緒方 和博
-
依托单位：
海外基金