(4) KL1 Programming Support System

We will develop theoretical and practical frameworks of mode analysis, a novel technique to analyze data flow and communication protocol of concurrent logic programs statically. The technique provides fundamental information for debugging, style checking, and optimization. This study will expand the current theoretical framework and prototype systems, and develop a static analysis tool called "klint" for the static debugging and the style checking of KL1 programs. We will try to make this tool as practical as possible by supporting the unique features of KL1 and the analysis of ill-moded programs.