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