Contents of Report

[Data of Report]

Report Number:: TM0239
Date of Registration:: 1986.11
English Title:: ***
Japanese Title:: 時制命題論理を用いた部品からの並列プログラム合成
English Author:: N.Uchihira,S.Honiden
Japanese:: 内平　直志,本位田　真一
Name of Organization to which author belongs:: Toshiba,Toshiba
PDF:: tm0239.pdf

[Contents]

1	はじめに	.... 2
2	並列プログラムにおける部品化と再利用	.... 2
3	MENDEL/86	.... 3
4	ゲートとゲートコントローラ	.... 3
5	PTLによるゲートコントローラの仕様記述	.... 3
6	ゲートコントローラの自動生成	.... 4
7	ゲートコントローラ仕様記述用マクロ	.... 4
8	例題;キーワードカウントプログラム	.... 4
9	まとめ	.... 5
	謝辞	.... 5
	参考文献	.... 5

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

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