Definition:Statement Label

Definition
A statement label is a symbol which is assigned to a particular statement, so that it can be identified without the need to write it out in full.

For such conventions to make sense, different statements must always be given different statement labels.

Also known as
There are various other names for this concept, e.g. abbreviatory letter and sentence letter.

Also see

 * Compare, but do not confuse, with statement variables.