The CLAIR System Credits

Authors

The Combined Language and Abstract Interpretation Resource originates from a program, called SLice, originally written, in 1990/91, by

Roberto Bagnara (bagnara@cs.unipr.it)
Alessandro Riaudo

Since then, Roberto has taken care of the maintenance, extension, porting and documentation of the system.

Thanks!

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

Patricia M. Hill (hill@comp.leeds.ac.uk)
Vajirapan Panumong (vaji@comp.leeds.ac.uk)
Enea Zaffanella (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 with the help of Moreno Falaschi on "Formal Languages and Compilers." Moreno was supervising the students' projects.

[Page last updated on January 18, 2013, 10:08:25.]

Home

Documentation

Download

Credits

Mailing Lists

Links

The CLAIR System Credits

Authors

Thanks!