Αποστολή με SMS: Partial Evaluation and Semantics-Based Program Maipulation PERM'97