Написать учебный транслятор из подмножества языка Python в подмножество языка Boogie2 на базе llvm. На вход программы должен подаваться файл на python, на выходе формироваться файл на языке boogie2. на руках имеется описание подобного проекта ...
Прикладное ПОнет заявок
Закрыт
5 лет назад