| 目次 | .... 3 | |
| 改訂履歴 | .... 5 | |
| 1 | PDSSとは | .... 12 |
| 2 | PDSSの使用方法 | .... 13 |
| 3 | KL1の言語仕様 | .... 20 |
| 4 | Micro PIMOS | .... 49 |
| 5 | 起動とオプション・パラメタ | .... 62 |
| 6 | トレーサ | .... 64 |
| 7 | デッドロック検出 | .... 69 |
| 付録 | .... 73 | |
| 索引 | .... 98 | |
| End | .... 102 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda