Email Record: Approaches to improved program validation through programming language design /