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 条
  • [1] Automatic Static Cost Analysis for Parallel Programs
    Hoffmann, Jan
    Shao, Zhong
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 132 - 157
  • [2] A General Framework for Automatic Termination Analysis of Logic Programs
    Nachum Dershowitz
    Naomi Lindenstrauss
    Yehoshua Sagiv
    Alexander Serebrenik
    Applicable Algebra in Engineering, Communication and Computing, 2001, 12 : 117 - 156
  • [3] A general framework for automatic termination analysis of logic programs
    Dershowitz, N
    Lindenstrauss, N
    Sagiv, Y
    Serebrenik, A
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2001, 12 (1-2) : 117 - 156
  • [4] Massively parallel execution of logic programs: A static approach
    Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy
    不详
    J Syst Archit, 6-7 (437-457):
  • [5] Massively parallel execution of logic programs: A static approach
    Baiardi, F
    Candelieri, A
    Ricci, L
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (6-7) : 437 - 457
  • [6] PARALLEL ALGORITHMS AND STATIC ANALYSIS OF PARALLEL PROGRAMS
    MIRENKOV, NN
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 269 : 48 - 59
  • [7] TOWARDS A FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    NILSSON, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 68 - 82
  • [8] A flexible framework for dynamic and static slicing of logic programs
    Vasconcelos, WW
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 259 - 274
  • [9] COST-ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    LIN, NW
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 826 - 875
  • [10] STATIC ANALYSIS OF LOGIC PROGRAMS FOR INDEPENDENT AND PARALLELISM
    JACOBS, D
    LANGEN, A
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (2-3): : 291 - 314
12345