CLUG meeting 28 November 2002

[Andreas Bauer]

> When I did this at uni the textbook was "The science of programming" by
> David Gries. It's pretty dry though...

When I did it at uni I found it pretty damn cool, but really difficult to
get into.  We worked with a theorem proof system called Isabelle which is
implemented in ML.  You can use it to verify all kinds of things, source
code is one of them:

  http://isabelle.informatik.tu-muenchen.de/

Another good thing about it is that it's free, integrates nicely into
Xemacs and is well documented.

Just thought, some of you would be interested to check it out...

Andi.

-- 
(o_  Andreas Bauer, baueran at in.tum.de, http://home.in.tum.de/baueran/
//\  "I hate small towns because once you've seen the cannon in the park
V_/_  there's nothing else to do." -- Lenny Bruce