2010-01-14から1日間の記事一覧
POPL2010論文読み会(http://www.cse.psu.edu/popl/10/program.html) [私は気になった∧読めるやつだけ] Verified Compilerな話が多い Verified Just-In-Time Compiler on x86 (http://lambda-the-ultimate.org/node/3768) A Verified Compiler for an Impure …
POPL2010論文読み会(http://www.cse.psu.edu/popl/10/program.html) [私は気になった∧読めるやつだけ] Verified Compilerな話が多い Verified Just-In-Time Compiler on x86 (http://lambda-the-ultimate.org/node/3768) A Verified Compiler for an Impure …