&gt; It does not address the question of whether or not there will be a propensity for more bugs (or more severe bugs) when comparing two languages.<p>My argument is based on the act of rewriting it---regardless of language.  Many languages provide excellent guarantees, but that does not protect against bugs in the implementation itself (logic).