型エラースライシングによるデッドロックの原因特定
小林先生のデッドロック解析のための型システムに対して、型付けできなかった時の原因、つまりデッドロックの原因を特定するための型エラースライシングを導入したという論文。型推論はつまるところ制約充足なので、充足不能な場合に極小な充足不能集合を求めて、それを元のプログラムに戻せばスライスになってるよね、というのが型エラースライシング。制約と元のプログラムの対応付けをどうするかがこの論文のコア部分。型エラースライシングは面白いので最近実装している情報流解析のための型システムに応用してみたけど、元のプログラムに戻すところがやっぱり面倒。
author="飯村 枝里 and 小林 直樹 and 末永 幸平",
title="{型エラースライシングによるデッドロックの原因特定}",
journal="情報処理学会論文誌 プログラミング",
volumn="1",
number="2",
pages="71--84",
year="2008"