Выполнен перевод (https://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).

При проектировании структур данных в ПО часто приходится иметь дело с несуществующими ссылками (null в терминологии C/C++, Void   в терминологии Eiffel). Распространенной проблемой при этом является    разыменование пустого указателя, что приводит к ошибкам во время    выполнения. В статье рассмотрены вопросы безопасности ПО, а также   решение этой проблемы в языке Eiffel на основе понятий прикрепленных и открепляемых типов, а также сертифицированных шаблонов прикрепления.
Предложенное решение совместимо с уже существующим программным кодом,   не являющимся безопасным, а также полностью согласовано с остальными элементами и концепциями языка Eiffel.

URL: https://www.opennet.ru/base/dev/eiffel_vaid_safety.txt.html
Новость: https://www.opennet.ru/opennews/art.shtml?num=33083