Кафедра программирования механико-математического факультета Новосибирского государственного университета
Реализация оптимизирующих трансформаций в системе предикатного программирования