コンパイラ怖い

例え元のプログラムが正しかろうとコンパイラが間違っていれば出てくるものもやっぱ間違っているわけで……　例えば，車とかに入りまくっているチップの設計に使われるようなHDLのコンパイラはどの程度正しいと証明されているのだろうか？　コンパイラのバグ踏んだー！とか言って事故るのはゴメンなのだけど．

Search

Feeds