We need an RMS, a Linus, or Tridge or Alan or ...

Posted Mar 12, 2006 10:24 UTC (Sun) by Xman (guest, #10620)
In reply to: We need an RMS, a Linus, or Tridge or Alan or ... by Zelatrix
Parent article: Some notes from the Coverity survey

How does SPARK's support for static analysis compare to say ML and similar functional languages?