Αποστολή με SMS: The formal semantics of programming languages