Contextual checking is concerned with the contextual correctness of program code.
Ideally we would like to check for (and eradicate) all possible “run time” errors, however contextual checking is a difficult undertaking and in some cases (e.g. recursion) completely impractical.
Contextual checking consists (typically) of parameter and identifier validation.