Ludwell Harrison III. Automatic generation and management of interprocedural program analyses (1993)

by Kwangkeun Yi, Williams
Venue:In 20th ACM POPL