The formal semantics of computer languages and their implications