English
В статье предлагаются к обсуждению несколько концепций, которые должны повысить простоту и удобство проектирования и разработки программного обеспечения, в рамках статической проверки правильности программ. В частности, представлен нетрадиционный подход к базовому строительному блоку программного кода – контейнеру атрибутов и подпрограмм, альтернативная схема наследования, как простого и единственного механизма расширения уже существующего ПО, концепция мультитипа, как расширение наследования и полное решение для проблем нулевых указателей и неинициализированных данных.
Евгений Зуев
Visiting Professor, Университет Иннополис
Евгений Зуев окончил факультет ВмиК МГУ им. М.В.Ломоносова и получил там степень кандидата наук в 1999 году. Работал в ряде научно-исследовательских организациях и фирмах в России и за рубежом. Преподавал в МГУ, а также в Технологических университетах в Цюрихе (ETH Zurich) и в Лозанне (EPFL Lausanne). Участвовал в ряде успешных проектов в сфере языков программирования и компиляторов, в том числе в разработке компилятора переднего плана полного стандарта С++ (2000) и в создании языка и компилятора Zonnon (2006). Автор нескольких книг по разработке ПО.
В настоящее время Е.Зуев занимает позицию visiting professor в университете Иннополис (Казань) и является сотрудником Центра исследований и разработок Samsung (Москва).
Алексей Канатов
Руководитель отдела, Исследовательский центр Самсунг
Алексей Канатов – выпускник кафедры Кибернетики Московского инженерно-физического института (МИФИ) (в настоящее время Национальный исследовательский ядерный университет «МИФИ»). Он принимал активное участие в разработке компиляторов и систем программирования для языков Модула-2, Ада и Эйфель, работал в компании Интел на различных руководящих должностях в подразделении по разработке программного обеспечения (Software and Solutions Group).
Алексей Канатов имеет богатый опыт работы в сфере ИТ – от разработки баз данных и компиляторов до руководства сложными R&D проектами.
Алексей является один из авторов проекта Visual Eiffel, в рамках которого был разработан первый компилятор для языка Эйфель с возможностью порождения машинного кода и средой программирования.
В настоящее время А.Канатов возглавляет отдел разработки компиляторов в Исследовательском центре компании Самсунг в Москве.
Comment