Computing executable slices for concurrent logic programs

被引：2

作者：

Zhao, JJ ^{[1
]}

Cheng, JD ^{[1
]}

Ushijima, K ^{[1
]}

机构：

[1] Fukuoka Inst Technol, Dept Comp Sci & Engn, Higashi Ku, Fukuoka 8110295, Japan

来源：

SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/APAQS.2001.989997

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Program Slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. In this paper we present a dependence-graph based approach to computing executable slice for concurrent logic programs. The dependence-based representation used in this paper is called the Argument Dependence Net which can be used to explicitly represent various types of program dependences in a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.

引用

页码：13 / 22

页数：10

共 50 条

[21] L0 - A TRULY CONCURRENT EXECUTABLE TEMPORAL LOGIC LANGUAGE FOR PROTOCOLS
NESS, L
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (04) : 410 - 423
[22] A dynamic logic for deductive verification of concurrent programs
Beckert, Bernhard
Klebanov, Vladimir
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 141 - +
[23] REDUCING SCHEDULING OVERHEADS FOR CONCURRENT LOGIC PROGRAMS
KING, A
SOPER, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 279 - 286
[24] Instant replay debugging of concurrent logic programs
Univ of Manchester, Manchester, United Kingdom
New Gener Comput, 1 (79-107):
[25] MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.
Abrahamson, Karl
Instrument Maintenance Management, 1979, 70 : 21 - 33
[26] ASSOCIATIVE CONCURRENT EVALUATION OF LOGIC PROGRAMS.
Nakamura, Katsuhiko
1600, (01):
[27] Instant replay debugging of concurrent logic programs
Shen, K
Gregory, S
NEW GENERATION COMPUTING, 1996, 14 (01) : 79 - 107
[28] Computation of dynamic slices for object-oriented concurrent programs
Lallchandani, JT
Mall, R
12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 341 - 348
[29] Computing confidence measures in stochastic logic programs
Lodhi, H
Muggleton, S
MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3789 : 890 - 899
[30] COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
KAGAN, V
NERODE, A
SUBRAHMANIAN, VS
ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 161 - 182

← 1 2 3 4 5 →