CLUG meeting 28 November 2002

Andreas Bauer baueran at
Wed Nov 27 11:51:03 EST 2002

> 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:

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...


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

More information about the linux mailing list