[TYPES] Book and Web-Page Announcement

Herbert Wiklicky herbert at doc.ic.ac.uk
Thu Jan 20 11:40:15 EST 2005


Principles of Program Analysis
Flemming Nielson, Hanne Riis Nielson and Chris Hankin
2nd Corrected Printing
ISBN 3-540-65410-0, Springer, December 2004

To coincide with this reprinting, we have relaunched the web page
for the book


This will contain a complete set of PDF format slides which closely
follow the text, a number of prototype systems and pointers to other
resources.  We are also inviting teachers who use the book to submit
their slides for inclusion on the web page
(contact: nielson at imm.dtu.dk, riis at imm.dtu.dk or clh at doc.ic.ac.uk).

Professor Chris Hankin		e-mail: clh at imperial.ac.uk
Pro Rector(Research)
Imperial College London
South Kensington Campus
London SW7 2AZ, U.K.

Tel: +44 (0) 20 7594 8266, +44 (0) 20 7594 5010
Fax: +44 (0) 20 7581 8024
Web: http://www.imperial.ac.uk/computing/~clh

More information about the Types-list mailing list