CLPKIDS: A program analysis system for concurrent logic programs

Jianjun Zhao; Jingde Cheng; Kazuo Ushijima

doi:10.1109/CMPSAC.2001.960664

CLPKIDS: A program analysis system for concurrent logic programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	531-537
Number of pages	7
Journal	Proceedings - IEEE Computer Society's International Computer Software and Applications Conference
DOIs	https://doi.org/10.1109/CMPSAC.2001.960664
Publication status	Published - Jan 1 2001
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Computer Science Applications

Access to Document

10.1109/CMPSAC.2001.960664

Cite this

@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 = jan,

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-3157",

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

SN - 0730-3157

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

ER -

CLPKIDS: A program analysis system for concurrent logic programs

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this