Software metrics are measures of particular characteristics found in the software. Research in this area seeks to identify relationships between software characteristics and software engineering processes. Most software metrics are based on program structure and are determined statically. This article presents a framework by which semantic information can be quantified. By semantic information, we mean information concerning what occurs internally during execution as program states are created.