banner

Requirement of interprocedural analysis in compiler design