Легалов Александр Иванович

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

1. Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма
   
   Труды ИСП РАН, 37:6(1) (2025),  43–58
2. Расширение языка C для поддержки процедурно-параметрического полиморфизма
   
   Модел. и анализ информ. систем, 30:1 (2023),  40–62
3. Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO
   
   Модел. и анализ информ. систем, 29:3 (2022),  246–264
4. Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС
   
   Модел. и анализ информ. систем, 29:1 (2022),  60–72
5. Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем
   
   Труды ИСП РАН, 34:1 (2022),  69–72
6. Трансформация функционально-потоковых параллельных программ в императивные
   
   Модел. и анализ информ. систем, 28:2 (2021),  198–214
7. Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных
   
   Модел. и анализ информ. систем, 27:2 (2020),  164–179
8. Верификация программ со взаимной рекурсией на языке Пифагор
   
   Модел. и анализ информ. систем, 25:4 (2018),  358–381
9. Оптимизация инварианта цикла в языке Пифагор
   
   Модел. и анализ информ. систем, 25:4 (2018),  347–357
10. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
    
    Труды ИСП РАН, 29:5 (2017),  165–184
11. Automation of formal verification of programs in the Pifagor language
    
    Модел. и анализ информ. систем, 22:4 (2015),  578–589
12. Инструментальная поддержка формальной верификации программ, написанных на языке функционально-потокового параллельного программирования
    
    Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:2 (2015),  58–70
13. Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах
    
    Модел. и анализ информ. систем, 21:5 (2014),  93–101
14. Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов
    
    Системы и средства информ., 24:1 (2014),  73–79
15. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
    
    Модел. и анализ информ. систем, 19:5 (2012),  81–99
16. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах
    
    Модел. и анализ информ. систем, 19:4 (2012),  48–58