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, correctness of recursions, data driven functional parallel programming, elimination of mutual recursion, Pifagor programming language, 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

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

Издание

Журнал: 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)

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

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

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