1. A computer program system, comprising: an interface component that acquires program code; and an identifier component that identifies explicitly specified semantics at arbitrary levels of granularity in the code.