DETECTING AND-PARALLELISM IN LOGIC PROGRAMS WITHOUT LITERAL ORDERING

被引：2

作者：

CHUNG, WWK

DAY, WB

机构：

来源：

EIGHTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS: 1989 CONFERENCE PROCEEDINGS | 1989年

关键词：

D O I：

10.1109/PCCC.1989.37407

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：315 / 319

页数：5

共 45 条

[31] Detecting races in Relay Ladder Logic programs
Aiken A.
Fähndrich M.
Su Z.
International Journal on Software Tools for Technology Transfer, 2000, Springer Verlag (03) : 93 - 105
[32] On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, Gonzague
Vanhoof, Wim
2022 IEEE 16TH INTERNATIONAL WORKSHOP ON SOFTWARE CLONES (IWSC 2022), 2022, : 32 - 38
[33] Detecting races in relay ladder logic programs
Aiken, A
Fähndrich, M
Su, ZD
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 184 - 200
[34] A METHODOLOGY FOR DETECTING SHARED VARIABLE DEPENDENCIES IN LOGIC PROGRAMS
SCHEND, B
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (03) : 275 - 298
[35] Flat indexing scheme: A new compilation technique to enhance parallelism of logic programs
Kim, H
Lee, K
Gaudiot, JL
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2000, 16 (02) : 225 - 242
[36] RAPID - A DATA FLOW MODEL FOR IMPLEMENTING PARALLELISM AND INTELLIGENT BACKTRACKING IN LOGIC PROGRAMS
SCHWINN, B
BARTH, G
WELSCH, C
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 115 - 132
[37] SEMANTICS FOR LOGIC PROGRAMS WITHOUT OCCUR CHECK
WEIJLAND, WP
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 317 : 710 - 726
[38] SEMANTICS FOR LOGIC PROGRAMS WITHOUT OCCUR CHECK
WEIJLAND, WP
THEORETICAL COMPUTER SCIENCE, 1990, 71 (01) : 155 - 174
[39] Detecting infinite SLD-derivations in definite logic programs
Bagai, R
PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND COMPUTATIONAL INTELLIGENCE, 2004, : 79 - 83
[40] RULE ORDERING IN BOTTOM-UP FIXPOINT EVALUATION OF LOGIC PROGRAMS
RAMAKRISHNAN, R
SRIVASTAVA, D
SUDARSHAN, S
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1994, 6 (04) : 501 - 517

← 1 2 3 4 5 →