Если так, то аргумент конечно. Однако нужно еще найти это в тексте (желательно Оберона) и посмотреть где связывается реальная длина с декларацией длины в типе.
Где где, там где и должно быть -в разделе описания массивов (в обероне думаю тоже там =поскольку братва которая клепала КП особой изобретательностью не отличалась и за основу описания КП взяла оригинальное описание Оберона).
Гм. А где в Си и С++ в стандарте что-то завязаное на конкретную реализацию исполнителя? Там наоборот, все отвязано.
Практически везде, начиная с модели линейной адресации памяти, концепции массивов -содержащихся в "куске" памяти, концепции индекса тех же массивов (начинающихся с нуля), префиксной и инфиксной формы операторов инкремента, алгебры указателей, модели вычисления значений логических выражений....