気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Fail-Safe C: Top Page
42 users
staff.aist.go.jp
staff.aist.go.jp
staff.aist.go.jp
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で... Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作（キャストや共用体を含む）に対し その安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。 Fail-Safe C では、コンパイル時や実行時の様々な最適化手法を組み合わせる ことで、実行時検査のオーバーヘッドの削減を行っています。このコンパイラ を用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言 語に移植したりすることなく、そのままプログラムを安全に実行することがで きます。 詳細については次の文献もごらん下さい。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P
staff.aist.go.jp
staff.aist.go.jp
staff.aist.go.jp
staff.aist.go.jp
kuruma-news.jp
nlab.itmedia.co.jp
www.nhk.or.jp
note.com/iida_yasuyuki
konifar-zatsu.hatenadiary.jp
anond.hatelabo.jp
togetter.com
blog.tinect.jp
anond.hatelabo.jp
moarh.hatenablog.jp
nicohanayome.blog115.fc2.com
yamarena.tumblr.com
help.yahoo.co.jp
nicohanayome.blog115.fc2.com
2014/06/21 リンク