[Page last updated on 2001/02/19 10:29:56.]
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
Further information is provided in the (still incomplete)
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)
Precise and practical mode analysis with the CHINA analyzer.
The Newsletter of the
European Network in Computational Logic 7, (November 1999).