https://opennet.me/openforum/vsluhforumID3/83001.html Выполнен перевод (http://www.opennet.ru/base/dev/eiffel_vaid_safety.txt.html) на русский язык статьи про использование механизма безопасности "void safety" в Eiffel (http://ru.wikipedia.org/wiki/Eiffel), объектно-ориентированном языке, поддерживающем технологию проектирования по контракту (http://www.rsdn.ru/article/design/Code_Contracts.xml).<br><br><br><br>При проектировании структур данных в ПО часто приходится иметь дело с несуществующими ссылками (null в терминологии C/C++, Void в терминологии Eiffel). Распространенной проблемой при этом является разыменование пустого указателя, что приводит к ошибкам во время выполнения. В статье рассмотрены вопросы безопасности ПО, а также решение этой проблемы в языке Eiffel на основе понятий прикрепленных и открепляемых типов, а также сертифицированных шаблонов прикрепления.<br> Предложенное решение совместимо с уже существующим программным кодом, не являющимся безопасным, а также полностью согласовано с остальными элементами и концепциями языка Eiffel.<br><br><br><br><br><br>UR https://opennet.me/openforum/vsluhforumID3/83001.html#2 Fri, 17 Feb 2012 05:03:25 GMT Из этой статьи вы узнаете, что СШП значит вовсе не то, к чему Вы привыкли на просторах Рунета ;)<br> https://opennet.me/openforum/vsluhforumID3/83001.html#1 Tue, 14 Feb 2012 20:14:04 GMT Очень полезная и необходимая штука !<br><br>