Generation of Efficient Interprocedural Analyzers with PAG

Martin Helmut Alt, Florian Martin

Browse the full SAS paper archive.