Показать сокращенную информацию
Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming
Автор | Легалов, А. И. | |
Автор | Легалов, И. А. | |
Автор | Матковский, И. В. | |
Дата внесения | 2021-08-13T09:34:59Z | |
Дата, когда ресурс стал доступен | 2021-08-13T09:34:59Z | |
Дата публикации | 2019-09 | |
Библиографическое описание | Легалов, А. И. Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming [Текст] / А. И. Легалов, И. А. Легалов, И. В. Матковский // CEUR Workshop Proceedings: Scientific Services & Internet. — 2019. — Т. 2543. — С. 274-284 | |
URI (для ссылок/цитирований) | http://ceur-ws.org/Vol-2543/rpaper23.pdf | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/143129 | |
Аннотация | 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. | |
Тема | programming paradigms | |
Тема | parallel programming | |
Тема | functional-dataflow | |
Тема | static type system | |
Тема | parallel computation models | |
Тема | polymorphism | |
Название | Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
Страницы | 274-284 | |
Дата обновления | 2021-08-13T09:34:59Z | |
DOI | 10.20948/abrau-2019 | |
Институт | Институт космических и информационных технологий | |
Подразделение | Кафедра вычислительной техники | |
Журнал | CEUR Workshop Proceedings | |
Квартиль журнала в Scopus | без квартиля |