"Generating Specialized Rules and Programs for Demand-Driven Analysis."

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics