Algorithms for the analysis of concurrent programs

被引：0
|
作者：
Debnath, NC [1 ]
Lee, R [1 ]
机构：
[1] Winona State Univ, Dept Comp Sci, Winona, MN 55987 USA
来源：
INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 11TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING | 1998年
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper addresses issues relevant to the analysis of concurrent programs. An abstract representation of concurrent programs is defined. Algorithms required to generate such representation is developed. These algorithms of concurrent programs incorporate the concepts of control flow, control and data dependencies, communication activities and synchronization primitives.
引用
收藏
页码：9 / 12
页数：4
相关论文
共 50 条
  • [1] Precise slicing of concurrent programs An Evaluation of static slicing algorithms for concurrent programs
    Giffhorn, Dennis
    Hammer, Christian
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2009, 16 (02) : 197 - 234
  • [2] An evaluation of slicing algorithms for concurrent programs
    Giffhorn, Dennis
    Hammer, Christian
    [J]. SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2007, : 17 - +
  • [3] Stratified Commutativity in Verification Algorithms for Concurrent Programs
    Farzan, Azadeh
    Klumpp, Dominik
    Podelski, Andreas
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 1426 - 1453
  • [4] Precise slicing of concurrent programsAn Evaluation of static slicing algorithms for concurrent programs
    Dennis Giffhorn
    Christian Hammer
    [J]. Automated Software Engineering, 2009, 16
  • [5] Linearity analysis of concurrent logic programs
    Ueda, K
    [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 253 - 270
  • [6] Causal dataflow analysis for concurrent programs
    Farzan, Azadeh
    Madhusudan, P.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 102 - +
  • [7] Communication topology analysis for concurrent programs
    Martel, M
    Gengler, M
    [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATION, 2000, 1885 : 265 - 286
  • [8] Frameworks for Interprocedural Analysis of Concurrent Programs
    Seidl, Helmut
    Apinis, Kalmer
    Vojdani, Vesal
    [J]. SOFTWARE SYSTEMS SAFETY, 2014, 36 : 309 - 347
  • [9] Sequentiality analysis for concurrent logic programs
    Kato, N
    Ueda, K
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS: COMPUTER SCIENCE II, 2002, : 329 - 336
  • [10] Resource Analysis of Distributed and Concurrent Programs
    Albert, Elvira
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (248): : 1 - 1
12345