An evaluation of some aspect of the semantics of an individual procedure in which the evaluation is performed across the boundaries of individual statements and on all of the statements of that procedure.
An evaluation of some aspect of the semantics an executable program in which the evaluation is performed across the boundaries of individual procedures and on all of the procedures of that program.