[Haskell-cafe] is proof by testing possible?

muad muad.dib.space at gmail.com
Mon Oct 12 13:42:10 EDT 2009

Previous message: [Haskell-cafe] Can type be changed along a >>= chain?
Next message: [Haskell-cafe] is proof by testing possible?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Is it possible to prove correctness of a functions by testing it? I think the
tests would have to be constructed by inspecting the shape of the function
definition.

-- 
View this message in context: http://www.nabble.com/is-proof-by-testing-possible--tp25860155p25860155.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

Previous message: [Haskell-cafe] Can type be changed along a >>= chain?
Next message: [Haskell-cafe] is proof by testing possible?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list