期刊论文详细信息
Modelirovanie i Analiz Informacionnyh Sistem | |
Formal Verification of Programs in Functional Dataflow Parallel Language | |
M. S. Kropacheva1  A. I. Legalov1  | |
[1] Сибирский федеральный университет; | |
关键词: функционально-потоковое параллельное программирование; язык программирования Пифагор; формальная верификация программ; | |
DOI : | |
来源: DOAJ |
【 摘 要 】
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 correctness could be proved.
【 授权许可】
Unknown