Programming with Global Analysis (Abstract).

Manuel V. Hermenegildo Programming with Global Analysis (Abstract). 49-50 1997 ILPS db/conf/slp/slp97.html#Hermenegildo97