Ограничение прав доступа к переменным

[propell-ant]

Вторая часть цитаты Б. Заходера тоже заслуживает увековечивания на Хабре, добавьте пожалуйста.

[iiwabor]

Вроде эта вторая часть подходит:
"… Злые люди
Бедной Киске
Не дают
Украсть
Сосиски!"
— это про ограничение прав доступа

[prohfessor]

<Оффтоп!> А вот интересно, Борис Заходер знал альтернативное значение слова «Киска»? ;-)
Это несколько меняет смысл стихотворения…
«Он мечтал издать свои книги для взрослых, но в печать допускали только его детские произведения и переводы зарубежных книг.»
</Оффтоп>
АЦП на LPT на резисторах, это да… COVOX. Помнится в конце девяностых сделах себе такую штуку на IBM PC 286. Я написал на Си драйвер, который на одном LPT порту, под DOS, позволял одновременно печатать на принтере и слушать музыку.
И потом, на его базе, сделал свой синтезатор речи на фонемах. Вполне разборчиво говорил.

[yawa]

вторая часть идёт после запятой «всё обстоит нормально».

[NeoCode]

Это же зависит от программистов. Кто-то будет использовать формально или вообще не использовать, а кому-то такая фича и поможет.

[red75prim]

формальные методы борьбы за правильность и надежность чаще всего дают и формальные же результаты

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

[kt97679]

На всякий случай вот исходная статья с содержательными комментариями.

[pda0]

Опять пришли ситхи и всё возвели в абсолют. Пока одни пытаются создать механизмы уменьшающие количество ошибок — другие воротят нос, мол смотрите, у вас в коде проверки на ошибки тоже ошибки бывают.
У меня один вопрос: А чего вы на ассемблере не пишете? Или сразу в машинных кодах? Кодогенераторы в компиляторах ведь тоже код и в них тоже бывают ошибки…