Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание

Легалов Александр Иванович; Легалов Игорь Александрович; Матковский Иван Васильевич

Дополнительные ссылки: eLibrary

База данных: Каталог библиотеки СФУ

Библиографическое описание: Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание / А. И. Легалов, И. А. Легалов, И. В. Матковский. - Текст : непосредственный // Электронные библиотеки. - 2020. - Т. 23, № 4. - С. 788-807. - ISSN 1562-5419, DOI 10.26907/1562-5419-2020-23-4-788-807.

Аннотация: Предложено добавить статическую систему типов в функционально-потоковую модель параллельных вычислений и разработанный на ее основе язык функционально-потокового параллельного программирования. Использование статической типизации повышает возможность трансформации функционально-потоковых параллельных программ в программы, выполняемые на современных параллельных вычислительных системах. Предложены языковые конструкции. Описаны их синтаксис и семантика. Отмечена необходимость использования принципа единственного присваивания при формировании хранилищ данных конкретного типа. Рассмотрены особенности инструментальной поддержки предлагаемого подхода.
It is proposed to add a static system of types to the dataflow functional model of parallel computing and the dataflow functional parallel programming language developed on its basis. The use of static typing increases the possibility of transforming dataflow functional parallel programs into programs running on modern parallel computing systems. Language constructions are proposed. Their syntax and semantics are described. It is noted that the need to use the single assignment principle in the formation of data storages of a particular type. The features of instrumental support of the proposed approach are considered.

Год издания: 2020

Авторы: Легалов Александр Иванович , Легалов Игорь Александрович , Матковский Иван Васильевич

Издательство: Казанский (Приволжский) федеральный университет, Институт развития информационного общества, Казань

Источник: Электронные библиотеки

Выпуск: Т. 23, № 4

Номера страниц: 788-807

Держатель оригинала документа: Сибирский федеральный университет

Количество экземпляров:

Твёрдая копия издания отсутствует в фонде библиотеки

Показать дополнительные сведения

Особенности семантики статически типизированного языка функционально-потокового параллельного… : научное издание

Легалов А.И. и др.
2019 год

Статически типизированная версия языка функционально-потокового параллельного программирования : доклад, тезисы доклада

Легалов А.И. и др.
2020 год

Трансформация функционально-потоковых параллельных программ в императивные : научное издание

Васильев Владимир Сергеевич и др.
2021 год

БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ… : научное издание

Удалова Юлия Васильевна
2019 год

Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных… : статья из журнала

Легалов А.И. и др.
2012 год

Оптимизация общих подвыражений в функционально-потоковых параллельных программах : доклад, тезисы доклада

Васильев В.С.
2022 год

ВНУТРЕННИЕ ПРЕДСТАВЛЕНИЯ В СИСТЕМЕ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада

Васильев В.С. и др.
2022 год

Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового… : научное издание

Васильев Владимир Сергеевич и др.
2020 год

БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание

Удалова Ю.В.
2020 год

АЛГОРИТМЫ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ : научное издание

Романова Д.С. и др.
2023 год

Языковая поддержка архитектурно-независимого параллельного программирования : доклад, тезисы доклада

Легалов А.И.
2017 год

ИСПОЛЬЗОВАНИЕ СИСТЕМЫ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада

Васильев В.С.
2021 год

Программный транслятор статически типизированного функционально-потокового языка… : регистрация программы для ЭВМ

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

Формальная верификация программ, написанных на функционально-потоковом языке параллельного… : статья из журнала

Кропачева Мария Сергеевна и др.
2012 год

Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке : научное издание

Легалов А.И. и др.
2018 год

ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : статья из журнала

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

Библиотечно-издательский комплекс СФУ

Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание
статья из журнала

Похожие публикации