ASIA-PEPM: Partial Evaluation and Semantics-Based Program Manipulation