追跡コンパイルとフェーズ検出のコラボ Christian Wimmer et al. 2009 例によって意味の怪しい単語、なんとなく分かるけど日本語訳がすぐ出てこなかった単語などをメモ。 これだけ読んでも論文の中身はさっぱり分からないのでよろしくどうぞ。 頑張れ revert…