Климов Андрей Валентинович

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

1. Суперкомпиляция: основные принципы и базовые понятия
   
   Препринты ИПМ им. М. В. Келдыша, 2018, 111, 36 стр.
2. An interactive specializer based on partial evaluation for a Java subset
   
   Труды ИСП РАН, 30:4 (2018),  29–44
3. Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ
   
   Программные системы: теория и приложения, 8:4 (2017),  221–224
4. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
   
   Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 стр.
5. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
   
   Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 стр.
6. Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем
   
   Модел. и анализ информ. систем, 18:4 (2011),  106–117
7. Опыт разработки коммуникационной сети суперкомпьютера «СКИФ-Аврора»
   
   Программные системы: теория и приложения, 1:3 (2010),  107–123
8. A program specialization relation based on supercompilation and its properties
   
   Препринты ИПМ им. М. В. Келдыша, 2008, 026, 28 стр.