Ключников Илья Григорьевич

Публикации в базе данных Math-Net.Ru

1. TT Lite: a supercompiler for Martin-Löf's type theory
   
   Препринты ИПМ им. М. В. Келдыша, 2013, 073, 28 стр.
2. Staged multi-result supercompilation: filtering before producing
   
   Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 стр.
3. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
   
   Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 стр.
4. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
   
   Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 стр.
5. MRSC: инструментарий для создания многорезультатных суперкомпиляторов
   
   Препринты ИПМ им. М. В. Келдыша, 2011, 077, 30 стр.
6. Towards Effective Two-Level Supercompilation
   
   Препринты ИПМ им. М. В. Келдыша, 2010, 081, 28 стр.
7. Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка
   
   Препринты ИПМ им. М. В. Келдыша, 2010, 062, 23 стр.
8. Суперкомпилятор HOSC: доказательство корректности
   
   Препринты ИПМ им. М. В. Келдыша, 2010, 031, 28 стр.
9. Суперкомпилятор HOSC 1.1: доказательство завершаемости
   
   Препринты ИПМ им. М. В. Келдыша, 2010, 021, 27 стр.
10. Суперкомпиляция функций высших порядков
    
    Программные системы: теория и приложения, 1:3 (2010),  37–71
11. Суперкомпилятор HOSC 1.0: внутренняя структура
    
    Препринты ИПМ им. М. В. Келдыша, 2009, 063, 28 стр.
12. Численное моделирование вязких дозвуковых потоков при числе Рейнольдса $10^4$
    
    Матем. моделирование, 9:3 (1997),  3–12
13. Математическое моделирование турбулентных потоков
    
    Матем. моделирование, 9:2 (1997),  113–116
14. Сравнение прямого и параллельного алгоритмов для модельной задачи о распространении ударной волны
    
    Матем. моделирование, 9:2 (1997),  111–112
15. Решение модельных задач методами высокого порядка аппроксимации
    
    Матем. моделирование, 9:2 (1997),  106–110
16. Численное моделирование развития вихревых структур в отрывных течениях
    
    Матем. моделирование, 6:10 (1994),  13–23