CLUG meeting 28 November 2002

[Joshua McKinney]

On Wed, Nov 27, 2002 at 11:51:03AM +1100, Andreas Bauer wrote:
> > 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

hrm, I seem to have obtained a copy of this text and I have no
clue if I've just had it for some time, or someone lent it to
me.  Tis very strange.

-- 
If I can't fix it, it aint broke.