(9) Static Analyzer for KL1 programs

1. OVERVIEW

Klint V2 is a constraint-based static analyzer of KL1 programs, which
performs 

  - mode analysis, 
  - linearity analysis, and
  - type analysis.

The information provided by klint V2 is quite useful for debugging and
compiler optimization.

Klint V2 does not require programmers to provide mode, linearity, or
type declarations; instead, klint V2 will infer the
mode/linearity/type of a given program.

2. INSTALLATION

Klint V2 is totally written in KL1 and can be compiled using KLIC.

3. FILES

The klint V2 distribution contains the following files:

  (1) Makefile -- make file
  (2) Readme-E -- Thie file
      Readme-J -- Japanese version of this file
  (3) klint-main.kl1, klint1-main3.kl1, klint2-mainA.kl1
      read_program3.kl1, normalize5.kl1, unify.kl1
      builtin_DB5.kl1, numberbuiltin3.kl1, findpath4.kl1
      constraints9.kl1, type.kl1, stdinout.kl1
      graphB.kl1, tgraph2.kl1, decode2.kl1, tdecode.kl1
      reduce5.kl1, sort.kl1, outmessage4.kl1, klint2.kl1
	       -- source files of klint V2
  (4) examples/merge.kl1, examples/quicksort.kl1
               -- sample KL1 programs used in this manual

[FTP]

• README
• Program and Documents in Japanese [36K]