Кафедра программирования механико-математического факультета Новосибирского государственного университета
Анализ типов в трансляторе с языка предикатного программирования