Αποστολή με SMS: Semantics, Applications, and Implementation of Program Generation