Dear all,
Is there any work about "model checking haskell program"? In my
opinion,
think the haskell as a specification language, then we can check it or
transform it
to other specification language (such as, promela), so can be analyzed.
cheers,
Liu Jian
----
email to: gjk....@gmail.com
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
