CLPKIDS: A program analysis system for concurrent logic programs

被引：0
|
作者：
Zhao, JJ [1 ]
Cheng, JD [1 ]
Ushijima, K [1 ]
机构：
[1] Fukuoka Inst Technol, Dept Comp Sci & Engn, Higashi Ku, Fukuoka 8110295, Japan
来源：
25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE | 2001年
关键词：
D O I：
10.1109/CMPSAC.2001.960664
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs.
引用
收藏
页码：531 / 537
页数：5
相关论文
共 50 条
  • [31] UNFOLDING AND FIXPOINT SEMANTICS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS
    GABBRIELLI, M
    LEVI, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 85 - 128
  • [32] Detecting Bugs of Concurrent Programs with Program Invariants
    Ding, Zuohua
    Wang, Rong
    Hu, Jueliang
    Liu, Yang
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2016), 2016, : 412 - 413
  • [33] Detecting Bugs of Concurrent Programs With Program Invariants
    Wang, Rong
    Ding, Zuohua
    Gui, Ning
    Liu, Yang
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2017, 66 (02) : 425 - 439
  • [34] Successful Concurrent Programs: An EXCELerate Program in Oklahoma
    Vargas, Juanita Gamez
    Roach, Rick
    David, Kevin M.
    [J]. COMMUNITY COLLEGE JOURNAL OF RESEARCH AND PRACTICE, 2014, 38 (2-3) : 166 - 173
  • [35] Algorithms for the analysis of concurrent programs
    Debnath, NC
    Lee, R
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 11TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1998, : 9 - 12
  • [36] A TYPE SYSTEM FOR LOGIC PROGRAMS
    YARDENI, E
    SHAPIRO, E
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (02): : 125 - 153
  • [37] A Modular and Generic Analysis Server System for Functional Logic Programs
    Hanus, Michael
    Skrlac, Fabian
    [J]. PEPM '14: PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2014, : 181 - 188
  • [38] Representing and reasoning about concurrent actions with abductive logic programs
    Renwei Li
    Luís Moniz Pereira
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 21 : 245 - 303
  • [39] A Program Logic for Concurrent Objects under Fair Scheduling
    Liang, Hongjin
    Feng, Xinyu
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 385 - 399
  • [40] A temporal logic for reasoning about timed concurrent constraint programs
    de Boer, FS
    Gabbrielli, M
    Meo, MC
    [J]. EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 227 - 233
12345