参考文献

1

Cho, K. and Ueda, K., Diagnosing Non-Well-Moded Concurrent Logic Programs. In Proc. 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96), M. Maher (ed.), The MIT Press, 1996, pp. 215--229.

2

長健太，上田和紀：モード誤りをもつ並行論理プログラムの静的デバッグ手法． 1996年並列処理シンポジウム論文集，情報処理学会，1996年6月，pp. 219--226.

3

長健太，上田和紀：制約概念に基づくプログラム解析・診断・デバッグ---並行 論理型言語への適用．日本ソフトウェア科学会第13回大会論文集1996年9月， pp. 37--40.

4

長健太，上田和紀：並行論理プログラムのモード解析手法を用いた静的診断， 1996年度人工知能学会全国大会(第10回)論文集，1996年6月，pp. 25--28.

5

Ueda, K., Experiences with Strong Moding in Concurrent Logic/Constraint Programming. Proc. International Workshop on Parallel Symbolic Languages and Systems, Lecture Notes in Computer Science 1068, Springer-Verlag, Berlin, April 1996, pp. 134--153.