CLUG meeting 28 November 2002

Joshua McKinney clug at
Thu Dec 5 03:43:42 EST 2002

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:
> 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,
> //\  "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.

More information about the linux mailing list