> -- Геннадий Тышов писал(а):
> 2.	В языке ДРАКОН используются визуальные логические выражения, позволяющие при желании полностью исключить логические связки И, ИЛИ, НЕ из условных операторов.3.	Визуализация логических формул во многих практически важных случаях заметно облегчает их понимание и уменьшает вероятность ошибок.

Геннадий, визуализируйте условие из WHILE, ничто этому не мешает.
Когда все условия собраны в WHILE, это гарантирует, что действие на "петле цикла" только одно, без прерываний; а условия - наоборот, без промежуточных действий. Сами условия действительно визуалятся хорошо.

По поводу "защиты LOOP" у Вас две принципиальных ошибки:
1) Вы пытаетесь опыт визуального языка тащить обратно в текст. Обосновывать что-то для текста, ссылаясь на Паронджанова, нельзя - т.к. идея Паронджанова как раз в уходе от текста. Если работаем с линейным текстом, приходится использовать другие, "старые", критерии.

2) Вы так и не собираетесь расширить сектор своего видения на тему доказательного программирования и свойств программ. Без этого получается переливание из пустого в порожнее. Поймите простую вещь - можно будет обсуждать конструктивно и недостатки традиционного структурного программирования, и то, как можно по-другому (как там Вам нравится...), если Вы будете аргументировать на другом уровне. Любая идея в науке/технике должна быть обоснована автором на должном теоретическом уровне; иначе её нельзя ни принять (недостаточно оснований), ни опровергнуть (автор не понимает аргументов).

Прим.: Последнее касается Вас, а не Паронджанова, т.к. Паронджанов не делает кривых обобщений; а на том поле, которое берёт (эргономичность чертежа), обосновывает убедительно.