Precise Interprocedural Side-Effect Analysis.

Manuel Geffken, Hannes Saffrich, Peter Thiemann

Browse the full ICTAC paper archive.