Вы здесь

Главная

суперкомпилятор

Связанные издания:

Introduction to Supercompilation
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4)
Суперкомпиляция для теории типов Мартина-Лефа