HoldFirst is an attribute which specifies that the first argument to a function is to be maintained in an unevaluated form.
AbsoluteTiming[expr] evaluates expr, returning a list of the absolute number of seconds in real time that have elapsed, together with the result obtained.
HoldAllComplete is an attribute which specifies that all arguments to a function are not to be modified or looked at in any way in the process of evaluation.
HoldForm[expr] prints as the expression expr, with expr maintained in an unevaluated form.
Interpretation[e, expr] represents an object that displays as e, but is interpreted as the unevaluated form of expr if supplied as input. Interpretation[{x = x_0, y = y_0, ...
OwnValues[x] gives the rule corresponding to any ownvalue defined for the symbol x.
Information[symbol] prints information about a symbol.
With
(Built-in Mathematica Symbol) With[{x = x_0, y = y_0, ...}, expr] specifies that in expr occurrences of the symbols x, y, ... should be replaced by x_0, y_0, ....
Check
(Built-in Mathematica Symbol) Check[expr, failexpr] evaluates expr, and returns the result, unless messages were generated, in which case it evaluates and returns failexpr. Check[expr, failexpr, ...
Timing
(Built-in Mathematica Symbol) Timing[expr] evaluates expr, and returns a list of the time in seconds used, together with the result obtained.