| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | KL1 | .... 2 |
| 2.1 | Outline of KL1 | .... 2 |
| 2.2 | Debugging of KL1 Programs | .... 3 |
| 3 | Debugging Facilities | .... 4 |
| 3.1 | Listener | .... 4 |
| 3.2 | Inspector | .... 5 |
| 3.3 | Variable Monitor | .... 5 |
| 4 | Performance Analysis Facilities | .... 5 |
| 4.1 | Runtime Monitor | .... 5 |
| 4.2 | ParaGraph | .... 6 |
| 5 | Conclusion | .... 6 |
| 6 | References | .... 7 |
| End | .... 8 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports