(9) Static Analyzer for KL1 programs

The purpose of this project is to revise and extend the 'klint' system, a constraint-based mode analyser for KL1 programs, and newly incorporate type analysis and linearity analysis (i.e., analysis of whether each datum will be referenced by at most one reader). The new version, 'klint version 2,' will provide information useful in many applications including (a) static debugging, (b) style checkers, (c) program optimization, (d) implementatino-dependent program analysis, and (e) runtime debugging. We will also study the application of static mode/type/linearity analysis to program optimization and static program diagnosis.

Research Period :

June 1997 - February 1998

Cooperate Researchers :

Yasuhiro Ajiro Dept. of Information and Computer Science, Graduate School of Science and Engineering, Waseda University Shoji Kato Dept. of Information and Computer Science, Graduate School of Science and Engineering, Waseda University Satoshi Kuramochi Dept. of Information and Computer Science, Graduate School of Science and Engineering, Waseda University Ryoji Tsuchiyama Dept. of Information and Computer Science, Graduate School of Science and Engineering, Waseda University