Verification of Programs with Mutual Recursion in Pifagor Language : научное издание | Научно-инновационный портал СФУ

Verification of Programs with Mutual Recursion in Pifagor Language : научное издание

Тип публикации: статья из журнала

Год издания: 2018

Идентификатор DOI: 10.3103/S0146411618070301

Ключевые слова: data driven functional parallel programming, Pifagor programming language, correctness of recursions, elimination of mutual recursion, universal recursive function

Аннотация: In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. In this language the program could be represented as a data flow graph, that has no control connections, and only has data Abstract: In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. In this language the program could be represented as a data flow graph, that has no control connections, and only

Ссылки на полный текст

Издание

Журнал: AUTOMATIC CONTROL AND COMPUTER SCIENCES

Выпуск журнала: Vol. 52, Is. 7

Номера страниц: 850-866

ISSN журнала: 01464116

Место издания: NEW YORK

Издатель: ALLERTON PRESS INC

Авторы

  • Ushakova M.S. (Siberian Fed Univ, Inst Space & Informat Technol, Krasnoyarsk 660074, Russia)
  • Legalov A.I. (Siberian Fed Univ, Inst Space & Informat Technol, Krasnoyarsk 660074, Russia)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.