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 条
  • [1] Program dependence analysis of concurrent logic programs and its applications
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    [J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 282 - 291
  • [2] Sequentiality analysis for concurrent logic programs
    Kato, N
    Ueda, K
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS: COMPUTER SCIENCE II, 2002, : 329 - 336
  • [3] Linearity analysis of concurrent logic programs
    Ueda, K
    [J]. PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS, 2000, : 253 - 270
  • [4] SERIALIZATION ANALYSIS OF CONCURRENT LOGIC PROGRAMS
    KING, A
    SOPER, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 322 - 334
  • [5] A program dependence model for concurrent logic programs and its applications
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 672 - 681
  • [6] THE HOARE LOGIC OF CONCURRENT PROGRAMS
    LAMPORT, L
    [J]. ACTA INFORMATICA, 1980, 14 (01) : 21 - 37
  • [7] Kima: An automated error correction system for concurrent logic programs
    Ajiro Y.
    Ueda K.
    [J]. Automated Software Engineering, 2002, 9 (1) : 67 - 94
  • [8] PROGRAM ANALYSIS FOR CODE DUPLICATION IN LOGIC PROGRAMS
    Dandois, Celine
    [J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 241 - 247
  • [9] A program transformation for backwards analysis of logic programs
    Gallagher, John P.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3018 : 92 - 105
  • [10] A program transformation for backwards analysis of logic programs
    Gallagher, JP
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 92 - 105
12345