Выдержка из книги
Пратт Т.N.
Языки программирования разработка и реализация
Возможность вычисления любой метки делает эту основную структуру переходов и меток более гибкой. В поле перехода инструкции может быть указано любое выражение, значением которого является цепочка литер. Результатом вычисления этого выражения будет цепочка, являющаяся представлением метки инструкции, на которую нужно передать управление. Поэтому в реализации необходимо предусмотреть динамическую таблицу меток инструкций и связанных с ними адресов кодов. Когда при выполнении встречается переход, вычисленная цепочка отыскивается в этой таблице и выполняется передача управления на соответствующий код.