The ability of a compiler to retain symbolic and high-level language information (such as type and function definitions) so that a debugging tool can use this information.