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] Alessandro Riaudo Thanks! ======= The following people provided useful comments and helped debugging the system: Patricia M. Hill [2] Vajirapan Panumong Enea Zaffanella [3] 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/