[Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Sun Sep 14 01:59:53 EDT 2008
On 2008 Sep 14, at 1:24, Daryoush Mehrtash wrote:
> What I am trying to figure out is that say on the code for the IRC
> bot that is show here
> What would theorem proofs do for me?
Assurance of correct operation; for example, a mathematically provable
lack of security holes, assuming you can describe its proper operation
in terms of suitable theorems (which, for a simple bot like that, is
not so difficult).
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe