OberonCore

Написал небольшой тестовый пример:

Ожидалось что выведется:
3
2
1
А выводится:
1
1
1
Можете объяснить почему так?

Думаю, что дело в этом:

Потому, что в Pr видна только глобальная переменная x, а все прочие присваивания производятся над локальными. Локальные переменные имеют приоритет, "перекрывают" одноимённые глобальные.

В противном случае к локальной переменной x невозможно было бы обратиться при наличии глобальной с тем же именем, а её объявление должно было бы считаться ошибкой, как и любой другой дублирующийся идентификатор.

Получается что не все так просто с подпрограммами. И в общем случае следующее описание неверно:
"выполнение подпрограммы без формальных параметров дает тот же результат, что и выполнение составляющих его подпрограмму операторов, как если бы они были подставлены вместо оператора вызова подпрограммы".

Кто знает есть ли различия между Обероном и Компонентным Паскалем в обращении с локальными переменными?

Насчет локальных переменных повелось с 60-х годов и не меняется. Практически во всех императивных языках - как написано выше в цитате.

Это не определение языка, это метафора для объяснения вызова процедуры. Её не следует понимать буквально, и вообще следует забыть после базового понимания.

"Вершей пользуются при ловле рыбы. Поймав рыбу, забывают про вершу. Ловушкой пользуются при ловле зайцев. Поймав зайца, забывают про ловушку. Словами пользуются для выражения смысла. Постигнув смысл, забывают про слова". Источник.

разницы нет, и тот и другой подразумевают выполнение на железе, в котором для предоставления контекста исполнимой сущности используется отдельный блок(участок,зона,раздел) памяти. обычно (в большинстве решений по средам поддержки исполнения языков высокого уровня) это - СТЕК.

представьте(нарисуйте) себе манипуляции со стеком при входе/выходе из процедуры и ВСЕ ваши проблемы с непониманием адресации к конкретным переменным растаят, как снег по весне.

В этом нет острой необходимости. Виртовские языки определены без привязки к какому-либо вычилительному механизму. Но в любом случае упражнение, которое Вы предлагаете, будет весьма полезно.

Подсказка: Процедура Pr, которая манипулирует глобальной переменной x, ничего не знает о существовании одноимённой локальной переменной в процедурах A и B.
Другое дело, если бы эти локальные переменные x были бы переданы в процедуру Pr (при её вызове) в виде параметра .

однако, это совершенно не удаляет необходимость выяснения вопроса о взаимосвязи контекста исполнения с месторасположением текстового представления элементов программы и доступа к составляющим этих контекстов. (не получится понять написанное с первого раза - прочтите несколько раз, до полного усвоения смысла)

Тут все просто. текст читается сверху вниз.
Все, что определено сверху - снизу видно. При входе в процедуру-функцию предпочтение отдается местным переменным (параметрам) с теми же именами. При выходе - обратно открываются "забаненные" на время наличия местного объекта.

... + опережающие объявления. забыли?...

У переменных опережающих объявлений не бывает. Бывает у классов, функций.
И почти всегда в таких случаях чего-то плохо продумано...

SIC ! , однако... таки - вы озвучили один из ключевых моментов мыканий народа в 60-х по видам передачи информации о видимости "объектов" между контекстами исполнений.