Authors
=======

The Combined Language and Abstract Interpretation Resource has been written
has been designed, written debugged and improved by the following people:

  Roberto Bagnara [1]  <bagnara@cs.unipr.it>
  Alessandro Riaudo


Thanks!
=======

The following people provided useful comments and helped debugging the
system:

  Patricia M. Hill [2] <hill@comp.leeds.ac.uk>
  Vajirapan Panumong   <vaji@comp.leeds.ac.uk>
  Enea Zaffanella [3]  <zaffanella@cs.unipr.it>

Patricia is using variants of the CLAIR system for her course on
"Programming Language Semantics" (CS31) at the School of Computing
of the University of Leeds, UK.

The initial version of the system was written under the influence of
and as a project for the course taught, in 1990/91, by Pierpaolo
Degano [4] with the help of Moreno Falaschi [5] on "Formal Languages
and Compilers."  Moreno was supervising the students' projects.

--------

 [1] http://www.cs.unipr.it/~bagnara/
 [2] http://www.comp.leeds.ac.uk/hill/
 [3] http://www.cs.unipr.it/~zaffanella/
 [4] http://www.di.unipi.it/~degano/
 [5] http://www.dimi.uniud.it/~falaschi/