China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

The CHINA Project in Brief

[Page last updated on 2001/02/09 21:56:22.]

The purpose of the CHINA project is to produce a state-of-the-art data-flow analyzer for constraint logic programming languages and to advance the state-of-the-art in that field.

CHINA, besides the name of the project, is also the name of the data-flow analyzer. You can learn more about CHINA and other tools built around it.

The development of the CHINA software is not very fast, unfortunately. This is both because we have not much time to devote to coding and because the systems employ a significant quantity of bleeding-edge technology. CHINA incorporates several original techniques whose invention, theoretical study and tuning required an enormous amount of time. If you are interested, you may read the papers.

The project was started in 1994 by Roberto Bagnara, then at the Computer Science Department of the University of Pisa. Several people and organizations have contributed to the project since then.

© The China
Development Group
china@cs.unipr.it

Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About