GitHub - pseudo-lang/pseudo: transpile algorithms/libs to idiomatic JS, Go, C#, RubyYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
OBB vs AABB - Radium Software Development
This domain may be for sale!
関数型言語マニアのための論文紹介６：定理証明器で書かれたCコンパイラ - sumiiのブログ
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. Xavier Leroy. POPL 2006. http://pauillac.inria.fr/~xleroy/publi/compiler-certif.pdf ソースコードとか。 http://pauillac.inria.fr/~xleroy/compcert-backend/ 著者のXavier LeroyはOCamlの作者です。 （ネイティブコードを吐く）コンパイラを作ったことがある人なら、ごく稀にしか起きない、わけのわからないバグに悩まされたことがきっとあると思います。そういうバグがあると、コンパイラを作る人どころか、それを使うプログラマも悩まされます。これはMLのような型つき言語でコ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
