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 条

[1] Detection of And-Parallelism in Logic Programs
黄志毅
胡守仁
Journal of Computer Science and Technology, 1990, (04) : 379 - 387
[2] Detection of and-parallelism in logic programs
Huang, Zhiyi
Hu, Shouren
Journal of Computer Science and Technology, 1990, 5 (04) : 379 - 387
[3] COMPILATION OF LOGIC PROGRAMS FOR RESTRICTED AND-PARALLELISM
JACOBS, D
LANGEN, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 284 - 297
[4] ON THE CORRECTNESS AND EFFICIENCY OF INDEPENDENT AND-PARALLELISM IN LOGIC PROGRAMS
HERMENEGILDO, M
ROSSI, F
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 369 - 389
[5] A REVIEW OF EXPLOITATION OF AND-PARALLELISM AND COMBINED AND OR-PARALLELISM IN LOGIC PROGRAMS
ZHANG, K
SIGPLAN NOTICES, 1994, 29 (02): : 25 - 32
[6] AN EXECUTION MODEL FOR EXPLOITING AND-PARALLELISM IN LOGIC PROGRAMS
LIN, YJ
KUMAR, V
NEW GENERATION COMPUTING, 1988, 5 (04) : 393 - 425
[7] Compiling approach for exploiting AND-parallelism in logic programs
Hwang, Zhiyi
Hu, Shouren
Future Generation Computer Systems, 1990, 6 (01) : 35 - 41
[8] Annotation algorithms for unrestricted independent and-parallelism in logic programs
Casas, Amadeo
Carro, Manuel
Hermenegildo, Manuel V.
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, 4915 : 138 - +
[9] Annotation of logic programs for independent AND-parallelism by partial evaluation
Vidal, German
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 583 - 600
[10] AND OR PARALLEL EXECUTION OF LOGIC PROGRAMS - EXPLOITING DEPENDENT AND-PARALLELISM
ZHENG, YH
TU, HL
XIE, L
SIGPLAN NOTICES, 1993, 28 (05): : 19 - 28

← 1 2 3 4 5 →