CLPKIDS: A program analysis system for concurrent logic programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

A program analysis system, CLPKIDS that supports development of software engineering tools for concurrent logic programs was described. The core modules of the system consisted of the program slicer, the declarative debugger and the maintenance support tool. The features of the system allowed the analysis to be performed in an unified framework that simplifies the implementation of the algorithms.

Original languageEnglish
Pages (from-to)531-537
Number of pages7
JournalProceedings - IEEE Computer Society's International Computer Software and Applications Conference
DOIs
Publication statusPublished - Jan 1 2001
Externally publishedYes

Fingerprint

Software engineering

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

CLPKIDS : A program analysis system for concurrent logic programs. / Zhao, Jianjun; Cheng, Jingde; Ushijima, Kazuo.

In: Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 01.01.2001, p. 531-537.

Research output: Contribution to journalArticle

@article{109043db38a84827acdeba497fb53882,
title = "CLPKIDS: A program analysis system for concurrent logic programs",
abstract = "A program analysis system, CLPKIDS that supports development of software engineering tools for concurrent logic programs was described. The core modules of the system consisted of the program slicer, the declarative debugger and the maintenance support tool. The features of the system allowed the analysis to be performed in an unified framework that simplifies the implementation of the algorithms.",
author = "Jianjun Zhao and Jingde Cheng and Kazuo Ushijima",
year = "2001",
month = "1",
day = "1",
doi = "10.1109/CMPSAC.2001.960664",
language = "English",
pages = "531--537",
journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",
issn = "0730-6512",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - CLPKIDS

T2 - A program analysis system for concurrent logic programs

AU - Zhao, Jianjun

AU - Cheng, Jingde

AU - Ushijima, Kazuo

PY - 2001/1/1

Y1 - 2001/1/1

N2 - A program analysis system, CLPKIDS that supports development of software engineering tools for concurrent logic programs was described. The core modules of the system consisted of the program slicer, the declarative debugger and the maintenance support tool. The features of the system allowed the analysis to be performed in an unified framework that simplifies the implementation of the algorithms.

AB - A program analysis system, CLPKIDS that supports development of software engineering tools for concurrent logic programs was described. The core modules of the system consisted of the program slicer, the declarative debugger and the maintenance support tool. The features of the system allowed the analysis to be performed in an unified framework that simplifies the implementation of the algorithms.

UR - http://www.scopus.com/inward/record.url?scp=0035161118&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035161118&partnerID=8YFLogxK

U2 - 10.1109/CMPSAC.2001.960664

DO - 10.1109/CMPSAC.2001.960664

M3 - Article

AN - SCOPUS:0035161118

SP - 531

EP - 537

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

SN - 0730-6512

ER -