Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming
Скачать файл:
DOI:
10.20948/abrau-2019URI (для ссылок/цитирований):
http://ceur-ws.org/Vol-2543/rpaper23.pdfhttps://elib.sfu-kras.ru/handle/2311/143129
Автор:
Легалов, А. И.
Легалов, И. А.
Матковский, И. В.
Коллективный автор:
Институт космических и информационных технологий
Кафедра вычислительной техники
Дата:
2019-09Журнал:
CEUR Workshop ProceedingsКвартиль журнала в Scopus:
без квартиляБиблиографическое описание:
Легалов, А. И. Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming [Текст] / А. И. Легалов, И. А. Легалов, И. В. Матковский // CEUR Workshop Proceedings: Scientific Services & Internet. — 2019. — Т. 2543. — С. 274-284Аннотация:
The features of the dataflow functional parallel programming
language using static data typing are considered. The previously developed language
Pifagor supports only dynamic typing, which does not provide an effective
transformation of written programs into programs for modern parallel computing
systems. The analysis of changes in the dataflow functional model of calculations and
programming language operators with the introduction of a static type system is
carried out. It is shown how changes made affect syntax and semantics. In particular,
it is noted that it is necessary to use the principle of single assignment, due to the
formation of data stores of a particular type, declared by analogy with variables.
Коллекции:
Метаданные:
Показать полную информациюСвязанные материалы
Показаны похожие ресурсы по названию, автору или тематике.
-
Instrumental Support of the Evolutionary Expansion of Programs Using a Incremental Development
Легалов, А. И.; Легалов, И. А.; Матковский, И. В. (2018)Currently used a different approaches to the evolutionary software development. A number of them are widely used in practice and are embodied in various programming techniques and programming paradigms. The article discusses ... -
Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового параллельного программирования : научное издание
Васильев Владимир Сергеевич; Легалов Александр Иванович (Новосибирский государственный технический университет, Новосибирск, 2020)Функционально-потоковые языки программирования предназначены для разработки архитектурно-независимых параллельных программ и поддерживают управление вычислениями по готовности данных. В связи с тем, что в настоящее время ... -
Метод выбора технологии создания параллельного специального программного обеспечения с временной параметризацией
Толмачев, А. А.; Аксенов, М. А.; Викторов, Д. С.; Филонов, А. А.; Лютиков, И. В.; Tolmachev, Alexey A.; Aksenov, Mikhail A.; Viktorov, Dmitriy S.; Filonov, Andrey A.; Lutikov, Igor V. (Сибирский федеральный университет. Siberian Federal University, 2022-12)Предлагается новый метод выбора технологии создания параллельной программы, который базируется на том, что написанный один раз параллельный программный код может быть выполнен разными технологиями параллельного ... -
High-Level Design Flows for VLSI Circuit
Nepomnyashchy, Oleg V.; Legalov, Alexander I.; Sirotinina, Natalia J.; Непомнящий, О.В.; Легалов, А.И.; Сиротинина, Н.Ю. (Сибирский федеральный университет. Siberian Federal University., 2014-09)Design flows for very-large-scale integration circuit are considered. The problems arising from the realization of the project using top-down and system design methods are highlighted. The technology of an architecture ... -
Методы отладки и верификации функционально-потоковых параллельных программ
Удалова, Ю.В.; Udalova, Julia V.; Легалов, А.И.; Legalov, Alexander I.; Сиротинина, Н.Ю.; Sirotinina, Natalie U. (Сибирский федеральный университет. Siberian Federal University., 2011-04)В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной ...