Добавление статической типизации в язык функционально-потокового параллельного программирования
Main Article Content
Аннотация
Article Details
Библиографические ссылки
Левин И.И., Дордопуло А.И., Гудков В.А. Программирование реконфигурируемых вычислительных узлов на языке COLAMO. Учебное пособие. Таганрог: Изд-во ТТИ ЮФУ, 2011. 114 с.
Дордопуло А.И., Левин И.И. Ресурсонезависимое программирование гибридных реконфигурируемых вычислительных систем // Суперкомпьютерные дни в России: Труды международной конференции (25–26 сентября 2017 г., г. Москва). М.: Изд-во МГУ, 2017. C. 714–723.
Kasyanov V. Sisal 3.2: functional language for scientific parallel programming // Enterp. Inf. Syst. 2013. V. 7. No 2. P. 227–236.
Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.
Legalov A.I., Vasilyev V.S., Matkovskii I.V., Ushakova M.S. A Toolkit for the Development of Data-Driven Functional Parallel Programmes // Parallel Computational Technologies. PCT 2018. Communications in Computer and Information Science, vol 910. Springer, Cham. P. 16–30.
Vasilev V.S., Legalov A.I. Loop-invariant Optimization in the Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 843849.
Ushakova M.S., Legalov A.I. Verification of Programs with Mutual Recursion in Pifagor Language // Automatic Control and Computer Sciences, 2018. V. 52. No 7. P. 850–866.
Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». Апрель 2011 (том 4, номер 2). С. 213–224.
Legalov A.I., Legalov I.A., Matkovsky I.V. Instrumental support of the evolutionary expansion of programs using a incremental development // 20th Conf. Scientific Services and Internet, SSI 2018; Novorossiysk-Abrau; Russian Federation; 17–22 September 2018. CEUR Workshop Proc. V. 2260. 2018. P. 346–359.
Легалов А.И., Редькин А.В., Матковский И.В. Функционально-потоковое параллельное программирование при асинхронно поступающих данных // Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции, Нижний Новгород, 30 марта – 3 апреля 2009 г. Челябинск: Изд. ЮУрГУ, 2009. С. 573–578.
Легалов А.И. Об управлении вычислениями в параллельных системах и языках программирования // Научный вестник НГТУ. 2004. № 3 (18). С. 63–72.
Hoare C.A.R. An axiomatic basis for computer programming // Communications of the ACM. 1969. V. 10. No 12. P. 576–585.
Kropacheva M., Legalov A. Formal Verification of Programs in the Pifagor Language // Parallel Computing Technologies, 12th International Confernce PACT September-October, 2013. St. Petersburg, Russia. Lecture Notes in Computer Science 7979, Springer, 2013. P. 80–89.
Ushakova M.S., Legalov A.I. Automation of Formal Verification of Programs in the Pifagor Language // Modeling and Analysis of Information Systems. 2015. V. 22. No 4. P. 578–589.
Представляя статьи для публикации в журнале «Электронные библиотеки», авторы автоматически дают согласие предоставить ограниченную лицензию на использование материалов Казанскому (Приволжскому) федеральному университету (КФУ) (разумеется, лишь в том случае, если статья будет принята к публикации). Это означает, что КФУ имеет право опубликовать статью в ближайшем выпуске журнала (на веб-сайте или в печатной форме), а также переиздавать эту статью на архивных компакт-дисках журнала или включить в ту или иную информационную систему или базу данных, производимую КФУ.
Все авторские материалы размещены в журнале «Электронные библиотеки» с ведома авторов. В случае, если у кого-либо из авторов есть возражения против публикации его материалов на данном сайте, материал может быть снят при условии уведомления редакции журнала в письменной форме.
Документы, изданные в журнале «Электронные библиотеки», защищены законодательством об авторских правах, и все авторские права сохраняются за авторами. Авторы самостоятельно следят за соблюдением своих прав на воспроизводство или перевод их работ, опубликованных в журнале. Если материал, опубликованный в журнале «Электронные библиотеки», с разрешения автора переиздается другим издателем или переводится на другой язык, то ссылка на оригинальную публикацию обязательна.
Передавая статьи для опубликования в журнале «Электронные библиотеки», авторы должны принимать в расчет, что публикации в интернете, с одной стороны, предоставляют уникальные возможности доступа к их материалам, но, с другой, являются новой формой обмена информацией в глобальном информационном обществе, где авторы и издатели пока не всегда обеспечены защитой от неправомочного копирования или иного использования материалов, защищенных авторским правом.
При использовании материалов из журнала обязательна ссылка на URL: http://rdl-journal.ru. Любые изменения, дополнения или редактирования авторского текста недопустимы. Копирование отдельных фрагментов статей из журнала разрешается для научных исследований, персонального использования, коммерческого использования до тех пор, пока есть ссылка на оригинальную статью.
Запросы на право переиздания или использования любых материалов, опубликованных в журнале «Электронные библиотеки», следует направлять главному редактору Елизарову А.М. по адресу: amelizarov@gmail.com
Издатели журнала «Электронные библиотеки» не несут ответственности за точки зрения, излагаемые в публикуемых авторских статьях.
Предлагаем авторам статей загрузить с этой страницы, подписать и выслать в адрес издателя журнала по электронной почте скан Авторского договора о передаче неисключительных прав на использование произведения.