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 条
  • [41] A framework for incremental learning of logic programs
    Rao, MRKK
    THEORETICAL COMPUTER SCIENCE, 1997, 185 (01) : 191 - 213
  • [42] A framework for compiling preferences in logic programs
    Delgrande, JP
    Schaub, T
    Tompits, H
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 129 - 187
  • [43] GENERAL FAILURE OF LOGIC PROGRAMS - COMMENTS
    JAFFAR, J
    LASSEZ, JL
    MAHER, MJ
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 115 - 118
  • [44] A semantics for modular general logic programs
    Etalle, S
    THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 51 - 80
  • [45] Termination prediction for general logic programs
    Shen, Yi-Dong
    De Schreye, Danny
    Voets, Dean
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 751 - 780
  • [46] Using static analysis to compile non-sequential functional logic programs
    Mariño, J
    Moreno-Navarro, JJ
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 63 - 80
  • [47] On logics and semantics for general logic programs
    Bochman, A
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 37 - 56
  • [48] A general model for Differential Power Analysis attacks to static logic circuits
    Alioto, Massimo
    Poli, Massimo
    Rocchi, Santina
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10, 2008, : 3346 - 3349
  • [49] Using static analysis to compile non-sequential functional logic programs
    Mariño, J
    Moreno-Navarro, JJ
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 614 - 614
  • [50] STUDY OF A PARALLEL INFERENCE MACHINE FOR PARALLEL EXECUTION OF LOGIC PROGRAMS
    YAOQING, G
    CHENGZHENG, S
    SHOUREN, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 143 - 153
12345