Αποστολή με SMS: Υλοποίηση μιας γλώσσας τύπων με εφαρμογές στην πιστοποίηση εκτελέσιμου κώδικα /