A Data-Flow Analyzer for CLP Languages

The pages concerning the CHINA project are still under construction. During the last years I have written much material on CHINA, which I am now trying to organize and update. All the newly produced material will instead go straight into this space.

Presently, there is some information on the CHINA benchmark suite and on some new experimental evaluations.

If you are looking for more information on CHINA, please browse through the abstracts provided in the papers page. Further information is provided in the (still incomplete) page on CHINA questions and answers.

You can also get a rough idea about what this project is about and at what stage the development is by reading the following (short) article:

Precise and practical mode analysis with the CHINA analyzer.
Computational Logic: The Newsletter of the European Network in Computational Logic 7, (November 1999).