Jungloid Mining: Helping to Navigate the API Jungle
典型的な API 呼び出しの順序と返り値のキャストをいちいち調べるの大変なので、それを起点の型と終点の型だけから探せるといいよね、という論文。引数や返り値の型をメソッドの定義から決められるといいけど、現実には実行時の型が重要でキャストとかが発生するから定義だけからは無理。なので、既存のプログラムからイディオム的なものを探し出してその情報も使う。
author="David Mandelin and Lin Xu and Rastislav Bodik and Doug Kimelman",
title="{Jungloid Mining: Helping to Navigate the API Jungle}",
booktitle="PLDI'05",
publisher="ACM",
pages="48--61",
year="2005"