Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск)"
Авторы: Легалов А.И., Легалов И.А., Матковский И.В.
Особенности семантики статически типизированного языка функционально-потокового параллельного программирования
Аннотация:
Рассматриваются особенности языка функционально- потокового параллельного программирования Smile, использующего статическую типизацию данных. Разработанный ранее язык функционально-потокового параллельного программирования Пифагор поддерживает динамическую типизацию, что не обеспечивает эффективной трансформации написанных программ в программы для современных параллельных вычислительных систем. Проводится анализ изменений функционально-потоковой модели вычислений и операторов языка программирования с введением статической системы типов. Показано, каким образом вносимые изменения влияют на синтаксис и семантику. В частности отмечается, необходимость использования принципа единственного присваивания, обусловленного формированием хранилищ данных конкретного типа, объявляемых по аналогии с переменными.
Ключевые слова:
парадигмы программирования, параллельное программирование, функционально-потоковое параллельное программирование, статическая типизация, модели параллельных вычислений, полиморфизм
Язык публикации: русский,  страниц: 12 (с. 489-500)
Полный текст на русском языке: Сведения об авторах:
  • Легалов Александр Иванович,  orcid.org/0000-0002-5487-0699,  Сибирский федеральный университет
  • Легалов Игорь Александрович,  ,  Сибирский федеральный университет
  • Матковский Иван Васильевич,  ,  Сибирский федеральный университет