A compiler consists of two phases: source program analysis and object program generation. The problem of compilation has been extensively studied and many tools and techniques for building the analysis phase are available. ...