Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Климов Юрий Андреевич
Персональная страница: http://keldysh.ru/persons/yuklimov.html
Email:

2009 год
1.  Препринт ИПМ № 33, Москва, 2009
Авторы: Климов Ю. А.
Название: Специализатор CILPE: доказательство корректности
2.  Препринт ИПМ № 8, Москва, 2009
Авторы: Климов Ю. А.
Название: Специализатор CILPE: генерация остаточной программы
3.  Препринт ИПМ № 7, Москва, 2009
Авторы: Климов Ю. А.
Название: Специализатор CILPE: анализ времен связывания

2008 год
4.  Препринт ИПМ № 44, Москва, 2008
Авторы: Климов Ю. А.
Название: SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ
5.  Препринт ИПМ № 30, Москва, 2008
Авторы: Климов Ю. А.
Название: Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках
6.  Препринт ИПМ № 12, Москва, 2008
Авторы: Климов Ю. А.
Название: Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках