Bryan O'Sullivan wrote:
Yitzchak Gale wrote:
Perhaps Coverity's interest could be
piqued if they were made aware of Haskell's emergence
as an important platform in security-sensitive
industries such as finance and chip design, and of
the significant influence that Haskell is having on the
design of all other major programming languages.
During one of Simon PJ's tutorials at OSCON last year, a Coverity
engineer was in the audience. He told us afterwards that he downloaded
the GHC source and gave a try at analysing it while Simon talked. He
didn't get far, of course; their software wasn't built for the tricks
that -fvia-C plays. But they have at least one person who was that
interested.
unregisterised, it should be standard C without tricks, though still
nothing like ordinary C and therefore possibly not analyzable
~Isaac
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
