Contents of Report


[Data of Report]

Report Number:
TM0627
Date of Registration:
1988.09
English Title:
***
Japanese Title:
情報処理学会 第37回全国大会論文集-3;(論理型言語・エキスパートシステム関係)並列プログラムの知的プログラミング支援システムMENDELS(3);時制論理からの同期部の自動生成
English Author:
N.Uchihira,H.Kawada,S.Honiden
Japanese:
内平 直志,川田 秀司,本位田 真一
Name of Organization to which author belongs:
Toshiba,Toshiba,Toshiba
PDF:
tm0627.pdf

[Contents]

1はじめに.... 1
2時制論理とペトリネット.... 1
3MENDELネット(構造記述).... 1
4同期仕様記述言語TSL(制約記述).... 1
5同期部の生成手順.... 1
6MENDELネットからの構造グラフの生成.... 1
7TSLからTSLモデルグラフの生成.... 2
8モデルグラフ=構造グラフ×TSLモデルグラフ.... 2
9同期部のコード生成.... 2
10まとめ.... 2
謝辞.... 2
参考文献.... 2


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

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