Статья ИССЛЕДОВАНИЕ И РАЗРАБОТКА ЯЗЫКОВОГО ИНСТРУМЕНТАРИЯ НА ОСНОВЕ PEG-ГРАММАТИКИ Кореньков Ю. Д., Логинов И. П.
Статья ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.
Статья МЕТОД ОБЕСПЕЧЕНИЯ ПЕРЕНОСИМОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОСНОВЕ ПЕРЕНАЦЕЛИВАЕМОЙ СРЕДЫ ВЫПОЛНЕНИЯ ПРОГРАММ Логинов И. П., Дергачев А. М., Павловский Е. А.