Loop-invariant Optimization in the Pifagor Language

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

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

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

Ключевые слова: data driven functional parallel programming, Pifagor programming language, code optimization, loop optimization, invariant optimization, program dependence graph, code optimization, data driven functional parallel programming, invariant optimization, loop optimization, Pifagor programming language, program dependence graph

Аннотация: The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language. Optimization of the cycle invariant in imperative programming la

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

Издание

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

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

Номера страниц: 843-849

ISSN журнала: 01464116

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

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

Авторы

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

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

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

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