Email Record: Formal syntax and semantics of programming languages