2006
Patents
Certificate of the Federal Service for Intellectual Property, Patents and Trademarks on the official registration of the computer program
Knyazeva M.A., Zheravin M.V., Plokhikh S.A., Volkov D.A., Maevsky M.S., Zotov I.Yu., Timchenko V.A., Berdnik A.N. A system that simulates the knowledge-driven program transformation process. Registered in the Register of Computer Programs on August 15, 2006. Certificate of the Federal Service for Intellectual Property, Patents and Trademarks on the official registration of the computer program No. 2006612928. (in Russian)
Основное назначение системы состоит в предоставлении возможности проведения экспериментов для исследования эффективности преобразований программ, зависимостей между преобразованиями и их влияния на результаты друг друга. Языки программирования высокого уровня, на которых заданы исходные программы – объекты преобразования, могут быть различными. Набор преобразований программ, применяемых к исходным программам, также не является фиксированным. Пользователю наряду с возможностью применения набора выбранных преобразований к выбранной программе, задания стратегии применения этих преобразований, предоставляется возможность описывать (задавать) собственные преобразования. Пользователь может добавлять описанные преобразования к уже существующим, тем самым, расширяя набор преобразований, с которыми может работать система, а также модифицировать уже существующие в системе преобразования. Система позволяет генерировать низкоуровневый код на языке ассемблера для платформы х86. В системе присутствуют средства оценивания эффективности применения преобразований.