A model of dynamical concurrent program execution

被引：1
|
作者：
Vasenin, V. A. [1 ]
Krivchikov, M. A. [2 ]
机构：
[1] Moscow MV Lomonosov State Univ, Res Inst Mech, Moscow 119192, Russia
[2] Moscow MV Lomonosov State Univ, Dept Mech & Math, Moscow 119991, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2013年 / 39卷 / 01期
关键词：
Base Block; System Call; Program Execution; Denotational Semantic; Dynamical Semantic;
D O I：
10.1134/S0361768813010076
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Dynamical concurrent execution makes it possible to adapt programs for their execution on computing environments with parallel architecture. In the paper, a formal model of dynamical concurrent execution of programs written in functional style is presented. The model is proven to possess a feature that guarantees correctness of concurrent execution.
引用
下载
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [1] A model of dynamical concurrent program execution
    V. A. Vasenin
    M. A. Krivchikov
    Programming and Computer Software, 2013, 39 : 1 - 9
  • [2] A Discrete Geometric Model of Concurrent Program Execution
    Moeller, Bernhard
    Hoare, Tony
    Mueller, Martin E.
    Struth, Georg
    UNIFYING THEORIES OF PROGRAMMING, UTP 2016, 2017, 10134 : 1 - 25
  • [3] A Formal Metareasoning Model of Concurrent Planning and Execution
    Elboher, Amihay
    Bensoussan, Ava
    Karpas, Erez
    Ruml, Wheeler
    Shperberg, Shahaf S.
    Shimony, Eyal
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 12427 - 12435
  • [4] The Fresh Breeze Program Execution Model
    Dennis, Jack B.
    Gao, Guang R.
    Meng, Xiao X.
    Lucas, Brian
    Slocum, Joshua
    APPLICATIONS, TOOLS AND TECHNIQUES ON THE ROAD TO EXASCALE COMPUTING, 2012, 22 : 335 - 342
  • [5] Concurrent Constraint Programming:A Language and Its Execution Model
    廖乐健
    曹元大
    Journal of Beijing Institute of Technology, 2003, (01) : 37 - 41
  • [6] Hierarchical Similarity Measurement Model of Program Execution
    Reungsinkonkarn, Arun
    PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 255 - 261
  • [7] COOPE: A tool for representing concurrent object-oriented program execution through visualisation
    Leroux, H
    Exton, C
    NINTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2001, : 71 - 76
  • [8] CONTROL OF THE EXECUTION OF CONCURRENT TRANSACTIONS
    CART, M
    FERRIE, J
    RICHY, H
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1989, 8 (03): : 225 - 240
  • [9] A model of program execution for security purposes, an extended abstract
    Liu, ZQ
    ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2, 2004, : 509 - 513
  • [10] Java virtual machine based on hybrid concurrent compilation and execution model
    Yang, Bo
    Wang, Ding-Xing
    Zheng, Wei-Min
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (07): : 1250 - 1256
12345