Text this: The formal semantics of programming languages