Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming
View/ Open:
DOI:
10.20948/abrau-2019URI (for links/citations):
http://ceur-ws.org/Vol-2543/rpaper23.pdfhttps://elib.sfu-kras.ru/handle/2311/143129
Author:
Легалов, А. И.
Легалов, И. А.
Матковский, И. В.
Corporate Contributor:
Институт космических и информационных технологий
Кафедра вычислительной техники
Date:
2019-09Journal Name:
CEUR Workshop ProceedingsJournal Quartile in Scopus:
без квартиляBibliographic Citation:
Легалов, А. И. Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming [Текст] / А. И. Легалов, И. А. Легалов, И. В. Матковский // CEUR Workshop Proceedings: Scientific Services & Internet. — 2019. — Т. 2543. — С. 274-284Abstract:
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.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
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)В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной ...