書換えシステム用最適化コンパイラに関する研究

重写系统编译器优化研究

• 批准号: 10780180
• 负责人: 緒方 和博
• 金额: $ 1.28万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780180/
• 关键词: 項書換え; 最適化; コンパイラ; 抽象機械; TRAM; 簡約戦略; 要求駆動E戦略; 操作的意味; 書換えシステム; 特殊化; 弁別ネット; CafeOBJ; モジュールシステム; データ構造

本年度は,以下のことを行った。・最適化技法の抽象機械TRAMへの組込み:前年度までに開発した書換えシステム用の最適化技法の一部をTRAMに組み入れた。その結果,遅延評価型の関数言語に比較して,高速に書き換えることができることが,いくつかの実験で確認できた。・要求駆動E戦略の操作的意味の記述:TRAMに実装した簡約戦略は,OBJ2で最初に用いられたE戦略である。CafeOBJの簡約戦略は,E戦略を拡張することで,E戦略の弱点を補った要求駆動E戦略である。要求駆動E戦略を利用した書換えの操作的意味を,CafeOBJで記述し,各演算子(関数あるいはデータ構成子)への局所戦略の与え方に関する考察を行った。TRAMに,要求駆動E戦略を取り入れることは有効であると考えている。・研究成果のまとめ:研究成果のまとめとして,電子情報通信学会論文誌D-1に採録された論文「項書き換え抽象機械TRAMの設計と実装」を執筆した。

This year, the following actions were taken: Optimization Techniques for Abstract Mechanical TRAM Assembly: Part of optimization techniques for the development of the previous year was TRAM Assembly As a result, the number of words related to the evaluation type is compared, and the speed of the book is changed. Description of the meaning of the operation of the request:TRAM is installed in a simple way,OBJ2 is initially used in a simple way. CafeOBJ's simple strategy,E's weakness,E's strategy,E's weakness,E's strategy, E's strategy, E's strategy The meaning of the operation is required to be described in the table below, and each operator (related to the number of components) is required to be examined in the table below. TRAM, request Research results: Research results are collected and recorded in Journal D-1 of Electronic Information Communication Society, and the paper "Design and Implementation of Abstract Mechanical TRAM" is written.

项目成果

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 应用计算研讨会论文集（即将发表）。

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 亚洲计算机数学研讨会。

五百蔵,緒方,二木: "CafeOBJのモジュールシステムの設計およびCafeOBJによる検証" ソフトウェア工学の基礎V(レクチャーノート/ソフトウェア工学). 20. 209-218 (1998)

Iozo、Ogata、Niki：“CafeOBJ 模块系统的设计和使用 CafeOBJ 的验证”软件工程基础 V（讲义/软件工程）。 20. 209-218 (1998)。

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.。

五百蔵重典,緒方和博,二木厚吉: "項書き換え抽象機械TRAMの設計と実装"電子情報通信学論文誌D1. (印刷中). (2000)

Shigenori Gohyakura、Kazuhiro Ogata、Atsuyoshi Futaki：“TRAM 的设计和实现，用于重写术语的抽象机”《电子、信息和通信工程杂志》D1（印刷中）。