K. Tuncay Tekle Katia Hristova Yanhong A. Liu Generating Specialized Rules and Programs for Demand-Driven Analysis. 346-361 2008 AMAST http://dx.doi.org/10.1007/978-3-540-79980-1_26 conf/amast/2008 db/conf/amast/amast2008.html#TekleHL08