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