Email Record: Principles of abstract interpretation /