• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Особенности семантики статически типизированного языка функционально-потокового параллельного программирования
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.
May 25, 2026
'The Humanities Serve as a Conscience'
Maria Mizernaia studies Soviet literature and the history of book publishing. In this interview for the HSE Young Scientists project, she discusses plans to publish a novel about besieged Leningrad, AI-provoked reflections on what it means to be human, and how novels can help satisfy our dopamine hunger.
May 25, 2026
Is It Possible to Predict a Citys Life Based on the Shape of Its Neighbourhoods?
Is it possible to predict, based on the configuration of streets and buildings, where a café will open or where traffic congestion will occur? Participants in the Spatial Analysis and Modelling of Urban Processes research and study group use open data and machine learning to identify universal patterns. Alexander Sheludkov and Eduard Somov discuss the purpose of comparing cities, the need for new forms of urban statistics, and how open data is transforming approaches to urban studies.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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

С. 489–500.
Легалов А. И., Легалов И. А., Матковский И. В.

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.

Language: Russian
Full text
DOI
Text on another site
Keywords: полиморфизмparallel programmingпараллельное программированиепарадигмы программированияPolymorphismстатическая типизациямодели параллельных вычисленийфункционально-потоковое параллельное программированиеprogramming paradigmsfunctional-dataflow parallel programmingstatic type systemparallel computation model

In book

Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции
Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции
Институт прикладной математики им. М.В. Келдыша РАН, 2019.
Similar publications
Parallel Processing and Applied Mathematics. 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part I
Springer, 2025.
This book constitutes the refereed proceedings of the 15th International Conference on Parallel Processing and Applied Mathematics, PPAM 2024, held in Ostrava, Czech Republic, during September 8–11, 2024. The 75 full papers included in this book were carefully reviewed and selected from 134 submissions. The papers are organized in the following topical sections: Part I : Numerical ...
Added: December 26, 2025
Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма
Косов П. В., Легалов А. И., Труды Института системного программирования РАН 2025 Т. 37 № 6 С. 43–58
Dynamic polymorphism is widely used in situations involving the identification and processing of alternatives during program execution. Dynamic polymorphism allows to flexibly expand programs without changing previously written code. It is widely used in statically typed object-oriented programming languages by combining inheritance and virtualization. The programming languages Go and Rust also provide support for dynamic ...
Added: November 21, 2025
Supercomputing: 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part II
Springer, 2023.
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023. The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the ...
Added: November 11, 2025
Алгоритм матричного произведения на графических ускорителях для платформ с неравномерными каналами передачи данных
Choi Y. R., Мальковский С. И., Stegailov V., В кн.: "Информационные технологии и высокопроизводительные вычисления": Материалы VIII Международной научно-практической конференции, Хабаровск, 15-17 сентября 2025 г.: Хабаровск: Хабаровский Федеральный исследовательский центр, 2025. Гл. 81 С. 317–320.
Работа посвящена разработке и экспериментальному исследованию параллельных алгоритмов матричного умножения и матричной экспоненты с асинхронным обменом данными, использующих принцип наложения вычислений и коммуникаций для максимизации производительности, для систем с несколькими графическими ускорителями и неоднородной топологией. Также представлены теоретические модели оптимизации размера блоков для повышения эффективности расчетов. Алгоритм матричной экспоненты реализован с поддержкой комплексных матриц через ...
Added: October 15, 2025
Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I
Springer, 2025.
Added: February 21, 2025
Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II
Springer, 2025.
Added: February 21, 2025
C Language Extension to Support Procedural-Parametric Polymorphism
A. I. Legalov, P. V. Kosov, Automatic Control and Computer Sciences 2024 Vol. 58 No. 7 P. 762–778
Software development is often related to expanding functionality. To improve reliability in this case, it is necessary to minimize the change in the previously written code. For instrumental support of the evolutionary development of programs, a procedural-parametric programming paradigm is proposed, which makes it possible to increase the capabilities of the procedural approach. This allows ...
Added: February 13, 2025
Parallel Calculation of π in NoCs Using a Remote Testbed
M. Y. Romashikhin, I. I. Romanova, , in: 2024 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM), 20-24 May 2024.: IEEE, 2024. P. 996–1000.
The paper provides an overview of the current state of research in the field of combinational circuits reliability and parameters. Architecture of OpenLane flow, its components and main stages of work are described. Based on this flow, the main parameters are provided that will be used for augmentation and expansion of combinational circuits dataset and ...
Added: October 12, 2024
Polymorphism and physical properties of pure and lead-doped monoclinic Sm2MoO6 oxymolybdates
Orlova E., Kostanyan L., Trukhacheva M. et al., CrystEngComm 2024 Vol. 26 No. 25 P. 3424–3430
The Sm2MoO6 compounds, also known as oxymolybdates, were synthesized in air using a solid-phase method. A series of techniques were employed to characterize the undoped and, for the first time, lead-doped samples. It has been demonstrated that lead-containing samples form a wide range of solid solutions, which are isostructural (sp. gr. C2/c) to the pure ...
Added: June 24, 2024
9-Ethyl-6,6-dimethyl-8-[4-(morpholin-4-yl)piperidin-1-yl]-11-oxo-6,11-dihydro-5H-benzo[b]carbazole-3-carbonitrile Hydrochloride
Buikin Petr A., Vologzhanina A., Novikov R. et al., MolBank 2024 Vol. 2024 No. 1 Article M1759
Alectinib hydrochloride is an anticancer medication used for the first-line treatment of non-small cell lung cancer. Although it was approved for medical use ten years ago, and three polymorphs of this substance were proposed based on X-ray diffraction patterns, their crystal structures remained unknown to date. The main problem was the preparation of high quality ...
Added: May 24, 2024
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit