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

2018 год
1.  Препринт ИПМ № 178, Москва, 2018
Авторы: Андреев С.С., Дбар С.А., Климов Ю. А., Лацис А.О., Плоткина Е.А.
Название: Квантовая модель вычислений глазами классического программиста

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

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