Formal Verification of Programs in the Functional Data-flow Parallel Language

被引：4
|
作者：
Kropacheva, M. S. [1 ]
Legalov, A. I. [1 ]
机构：
[1] Siberian Fed Univ, Inst Space & Informat Technol, Krasnoyarsk, Russia
来源：
AUTOMATIC CONTROL AND COMPUTER SCIENCES | 2013年 / 47卷 / 07期
关键词：
functional data-flow parallel programming; Pifagor programming language; programs formal verification;
D O I：
10.3103/S0146411613070225
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：373 / 384
页数：12
相关论文
共 50 条
  • [31] A Hybrid Data-flow Visual Programing Language
    Wang, Hongxin
    Luo, Qiuming
    Du, Zheng
    [J]. 51ST INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS PROCEEDINGS, ICPP 2022, 2022,
  • [32] A practical data-flow verification scheme for business processes
    Muelle, Jutta
    Tex, Christine
    Boehm, Kiemens
    [J]. INFORMATION SYSTEMS, 2019, 81 : 136 - 151
  • [33] Grafcet revisited with a synchronous data-flow language
    Le Parc, P
    L'Her, D
    Scharbarg, JL
    Marcé, L
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 284 - 293
  • [34] IMPLEMENTATION OF THE DATA-FLOW SYNCHRONOUS LANGUAGE SIGNAL
    AMAGBEGNON, P
    BESNARD, L
    LEGUERNIC, P
    [J]. SIGPLAN NOTICES, 1995, 30 (06): : 163 - 173
  • [35] Mechanized Verification of Efficient Iterative Data-flow Algorithm
    Jiang N.
    Wang L.-M.
    Zhang X.-T.
    He Y.-X.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2022, 33 (06): : 2115 - 2126
  • [36] A data-flow language for business process models
    Bruno, Giorgio
    [J]. CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, 2014, 16 : 128 - 137
  • [37] Automatic Formal Verification of MPI-Based Parallel Programs
    Siegel, Stephen F.
    Zirkel, Timothy K.
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (08) : 309 - 310
  • [38] Automatic formal verification of MPI-based parallel programs
    Siegel, Stephen F.
    Zirkel, Timothy K.
    [J]. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 2011, : 309 - 310
  • [39] GENERATING EFFICIENT CODE FROM DATA-FLOW PROGRAMS
    HALBWACHS, N
    RAYMOND, P
    RATEL, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 207 - 218
  • [40] DATA-FLOW GRAPH OPTIMIZATION FOR DATA-FLOW ARCHITECTURES - A DATA-FLOW OPTIMIZING COMPILER
    KYO, S
    OKAZAKI, S
    MIZOGUCHI, M
    [J]. NEC RESEARCH & DEVELOPMENT, 1994, 35 (01): : 96 - 107
12345