A practical application of geometric semantics to static analysis of concurrent programs

被引：0

作者：

Goubault, E ^{[1
]}

Haucourt, E

机构：

[1] CEA Technol Avancees, LIST, DTSI SOL, F-91191 Gif Sur Yvette, France

[2] Univ Paris 07, F-75013 Paris, France

来源：

CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS | 2005年 / 3653卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we show how to compress efficiently the state-space of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that model). The technology used here is based on research on geometric semantics by the authors and collaborators [1]. It has been implemented in a abstract interpretation based static analyzer (ALCOOL), and we show some preliminary results and benchmarks.

引用

页码：503 / 517

页数：15

共 50 条

[1] TRANSFORMATIONAL SEMANTICS FOR CONCURRENT PROGRAMS
BROY, M
[J]. INFORMATION PROCESSING LETTERS, 1980, 11 (02) : 87 - 91
[2] THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS
PNUELI, A
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 45 - 60
[3] A PRACTICAL ALGORITHM FOR STATIC ANALYSIS OF PARALLEL PROGRAMS
MCDOWELL, CE
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1989, 6 (03) : 515 - 536
[4] Static Analysis of Concurrent Higher-Order Programs
Stievenart, Quentin
Nicolay, Jens
De Meuter, Wolfgang
De Roover, Coen
[J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 821 - 822
[5] Static dependency analysis for concurrent Ada 95 programs
Chen, ZQ
Xu, BW
Zhao, JJ
Yang, HJ
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 219 - 230
[6] A generic approach to the static analysis of concurrent programs with procedures
Bouajjani, A
Esparza, J
Touili, T
[J]. ACM SIGPLAN NOTICES, 2003, 38 (01) : 62 - 73
[7] Semantics-Driven Migration of Java']Java Programs: A Practical Application
Aleksyuk, A. O.
Itsykson, V. M.
[J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2018, 52 (07) : 581 - 588
[8] EFFICIENT EXECUTION OF PROGRAMS WITH STATIC SEMANTICS
BECKER, G
MURRAY, NV
[J]. SIGPLAN NOTICES, 1995, 30 (04): : 51 - 60
[9] Practical proofs of concurrent programs
Shapiro, Marc
[J]. ACM SIGPLAN NOTICES, 2006, 41 (09) : 123 - 123
[10] Model checking of concurrent programs with static analysis of field accesses
Parizek, Pavel
Lhotak, Ondrej
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 98 : 735 - 763

← 1 2 3 4 5 →