参考文献

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

Kazunori Ueda, Moded Flat GHC for Data-Parallel Programming, Proc. FGCS'94 Workshop on Parallel Logic Programming, ICOT, Tokyo, 1994, pp. 27--35.

3

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, 1996, pp. 134--153.

4

網代育大，長健太，上田和紀， 静的解析と制約充足によるプログラム自動デバッグ． 日本ソフトウェア科学会第14回大会論文集, 1997, pp. 533--536.

5

網代育大，長健太，上田和紀， 静的解析と制約充足によるプログラム自動デバッグ． コンピュータソフトウェア, Vol. 15, No. 1 (1998), pp. 54--58.

6

加藤昇嗣，並行論理プログラムのOccur-check解析． 早稲田大学理工学研究科修士論文, 1998.

7

土山了士，KLIC処理系における静的解析を用いた数値演算の最適化． 早稲田大学理工学研究科修士論文, 1998.