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

Да, в стандартах на встроенку некоторых (в Британии для АЭС) определяется допустимое подмножество Модулы-2 и Ады, на котором можно писать критичные модули.

Кроме того, в разных методах этой области, типа IBM-овской "чистой комнаты" (с верификацией и инспектированием) тоже с ограничением "выразительных средств" строго.