CLUG meeting 28 November 2002
Joshua McKinney
clug at bitfed.com
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:
>
> 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.
More information about the linux
mailing list