Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

被引：0

|

作者：

Klemen, Maximiliano ^{[1
,2
]}

Lopez-Garcia, Pedro ^{[1
,3
]}

Gallagher, John P.

Morales, Jose F. ^{[1
]}

Hermenegildo, Manuel, V ^{[1
,2
]}

机构：

[1] IMDEA Software Inst, Madrid, Spain

[2] Univ Politecn Madrid UPM, Madrid, Spain

[3] Spanish Council Sci Res CSIC, Madrid, Spain

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 306期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：238 / 240

页数：3

相关论文

共 50 条

[31] Parallel complexity of simple logic programs
Afrati, Foto
Papadimitriou, Christos H.
1600, (40):
[32] Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs
Angerer, Christoph M.
Gross, Thomas R.
LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2011, 6548 : 16 - 30
[33] STATIC SEMANTICS FOR NORMAL AND DISJUNCTIVE LOGIC PROGRAMS
PRZYMUSINSKI, TC
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 323 - 357
[34] Static and dynamic slicing of constraint logic programs
Szilágyi G.
Gyimóthy T.
Małuszyński J.
Automated Software Engineering, 2002, 9 (1) : 41 - 65
[35] STRATIFICATION OF DEFINITE CLAUSE PROGRAMS AND OF GENERAL LOGIC PROGRAMS
STEPANKOVA, O
STEPANEK, P
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 396 - 408
[36] A COMPUTABLE SEMANTICS FOR GENERAL LOGIC PROGRAMS
WALLACE, M
JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 269 - 297
[37] Programming by combining general logic programs
Brogi, A
Contiero, S
Turini, F
JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (01) : 7 - 24
[38] A FRAMEWORK FOR INTELLIGENT BACKTRACKING IN LOGIC PROGRAMS
KUMAR, V
LIN, YJ
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 108 - 123
[39] TOWARDS A CHARACTERIZATION OF TERMINATION OF LOGIC PROGRAMS
WANG, B
SHYAMASUNDAR, RK
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 204 - 221
[40] COMPLETE EXTENSION OF GENERAL LOGIC PROGRAMS
GIL, B
THEORETICAL COMPUTER SCIENCE, 1992, 94 (02) : 281 - 294

← 1 2 3 4 5 →