> -- Сергей Прохоренко писал(а):
> Только процедуры без параметров, т.е. с  переменными, мне совсем не нравятся.

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

> -- Цитата:
> А также не очень нравится слово CONTINUE. Оно сильно ассоциируется с циклами и неполно отражает смысл произошедшего события (для уничтоженной процедуры уже ничто не ). На ум приходит слово reincarnate.

Мне тоже не особо нравится, но лучше что-то короткое.

> -- Цитата:
> Остались еще вопросы. Процедура А вызвала процедуру Б. Та, в свою очередь, отдала управление процедуре В и бесследно исчезла. Что произошло с процедурой А? Она ждет возврата управления теперь из процедуры В (которая в этом случае должна иметь те же параметры, что и почившая Б), или же она тоже приказала долго жить? Передала ли перед смертью процедура Б процедуре В свою бессмертную душу (т.е., значения входных параметров и локальных переменных), и каким образом? Или значения параметров были снова взяты из процедуры А?

Нет, никто никого не ждёт. Семантика полностью такая, как если Вы напишете:
PROCEDURE А; BEGIN .... Б END A;
PROCEDURE Б; BEGIN ... В END Б;

Только кадр вызывающей процедуры бесседно исчезает. После того, как все процедуры отпередают друг другу эстафету, произойдёт возврат в процедуру, которая вызвала A.

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