Contents of Report


[Data of Report]

Report Number:
TM0961
Date of Registration:
1991.01
English Title:
A Program Transformation from Term Rewriting Systems into Parallel Logic Programs
Japanese Title:
項書き換えシステムから並列論理型言語への変換
English Author:
K.Yoshida,A.Ohsuga,S.Honiden,Y.Kusui
Japanese:
吉田 和樹,大須賀 昭彦,本位田 真一,楠井 洋一
Name of Organization to which author belongs:
TOSHIBA,TOSHIBA,TOSHIBA,TOSHIBA
PDF:
tm0961.pdf

[Contents]

概要.... 2
1はじめに.... 2
2変換アルゴリズム.... 2
3正当性の証明.... 4
4KL1への変換.... 4
5計算停止アルゴリズム.... 4
6今後の課題.... 5
謝辞.... 5
参考文献.... 5


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda