Contents of Report
[Data of Report]
Report Number:
TM0958
Date of Registration:
1991.01
English Title:
PDSS PIMOS Development Support System
Japanese Title:
***
English Author:
K.Hirano,K.Taki
Japanese:
平野 喜芳,滝 和男
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0958.pdf
[Contents]
Table of Contents
.... 6
PDSS Manual(in English)
.... 7
Acknowledgement
.... 9
Contents
.... 10
1.1
What is PDSS
.... 12
1.2
KL1 Language Specification
.... 13
1.3
Micro PIMOS
.... 40
1.4
PDSS Optional Parameter
.... 52
1.5
Tracer
.... 54
1.6
Dead-lock Detection
.... 58
1.7
Appendix
.... 61
1.8
Index
.... 83
2
PDSS Manual(in Japanese)
.... 87
2.0
目次
.... 89
2.0.1
改訂履歴
.... 92
2.1
PDSSとは
.... 98
2.2
PDSSの使用方法
.... 99
2.3
KL1の言語仕様
.... 106
2.4
Micro PIMOS
.... 135
2.5
起動とオプション・パラメタ
.... 148
2.6
トレーサ
.... 150
2.7
デッドロック検出
.... 155
2.8
付録
.... 159
2.9
索引
.... 184
3
PDSS Instllation Manual(in English)
.... 189
3.1
Contents of PDSS tape
.... 190
3.2
Restore PDSS from tape
.... 191
3.3
Edit the Makefile and Configuration-file
.... 191
3.4
Make
.... 192
3.5
Emacs LISP libraries
.... 192
3.6
When your machine is not BSD UNIX
.... 192
3.7
Appendix-I Log of PDSS makeing in ICOT
.... 193
4
PDSS Installation Manual(in Japanese)
.... 202
4.1
PDSSのテープの内容
.... 203
4.2
テープからのリストア方法
.... 204
4.3
MakefileとConfiguration-fileの編集
.... 204
4.4
Make
.... 205
4.5
Emacsライブラリ
.... 205
4.6
BSD UNIX以外に移植する場合
.... 205
付録-I
ICOTで行ったメイクのログ
.... 206
End
.... 214
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda