О проекте

Разработка автоматизированных методов анализа, преобразования и порождения программ. Специализация программ (методами частичных вычислений и суперкомпиляции).

Блог

Нет активных обсуждений