Loop-invariant Optimization in the Pifagor Language

Autor: Vladimir S. Vasilev, Alexander I. Legalov

Publikováno v: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 347-357 (2018)

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 programmi

Externí odkaz: https://doaj.org/article/5a6efb63057643e4b874192613e2ffc6

Automation of Formal Verification of Programs in the Pifagor Language

Autor: M. S. Ushakova, A. I. Legalov

Publikováno v: Моделирование и анализ информационных систем, Vol 22, Iss 4, Pp 578-589 (2015)

Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automati

Externí odkaz: https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96

Tail Recursion Transformation in Functional Dataflow Parallel Programs

Autor: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

Publikováno v: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)

The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed. It is considered how these transformations are affected by the usage of asynchronous lists, the return of delayed lists and the

Externí odkaz: https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba

Formal Verification of Programs in Functional Dataflow Parallel Language

Autor: M. S. Kropacheva, A. I. Legalov

Publikováno v: Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 5, Pp 81-99 (2012)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 5, Pp 81-99 (2015)

The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ed343ad765934b20289f0631acee0ec
http://mais-journal.ru/jour/article/view/59

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.