Tag Analysis and Program Evaluation