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 条

[11] A framework for analysis of typed logic programs
Lagoon, V
Stuckey, PJ
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 296 - 310
[12] SEQUENTIALIZATION OF PARALLEL LOGIC PROGRAMS WITH MODE ANALYSIS
MASSEY, BC
TICK, E
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 205 - 216
[13] A PRACTICAL ALGORITHM FOR STATIC ANALYSIS OF PARALLEL PROGRAMS
MCDOWELL, CE
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1989, 6 (03) : 515 - 536
[14] Termination analysis for abductive general logic programs
Verbaeten, S
LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 365 - 379
[15] A generic framework for the analysis and specialization of logic programs
Puebla, G
Albert, E
Hermenegildo, M
LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 407 - 409
[16] STATIC ANALYSIS OF BARRIER SYNCHRONIZATION IN EXPLICITLY PARALLEL PROGRAMS
JEREMIASSEN, TE
EGGERS, SJ
PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 171 - 180
[17] Towards a complete framework for parallel implementation of logic languages: the data parallel implementation of SEL
Universita di Trento, Rovereto, Italy
Concurrency Pract Exper, 3 (191-204):
[18] Towards a complete framework for parallel implementation of logic languages: The data parallel implementation of SEL
Succi, G
Uhrik, C
CONCURRENCY-PRACTICE AND EXPERIENCE, 1996, 8 (03): : 191 - 204
[19] PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
Wang, Di
Hoffmann, Jan
Reps, Thomas
PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 513 - 528
[20] PMAF: An algebraic framework for static analysis of probabilistic programs
Wang D.
Hoffmann J.
Reps T.
ACM SIGPLAN Notices, 2018, 53 (04): : 513 - 528

← 1 2 3 4 5 →