Email Record: A theory of programming language semantics /