A Metrics Suite for Concurrent Logic Programs (1998) [1 citations — 1 self]

Download:

by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Proc. 2nd Euromicro Working Conference on Software Maintenance and Reengineering, pp.172-178, IEEE Computer

http://www.fit.ac.jp/~zhao/pub/ps/csmr98m.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Zhao98ametrics,
    author = {Jianjun Zhao and Jingde Cheng and Kazuo Ushijima},
    title = {A Metrics Suite for Concurrent Logic Programs},
    booktitle = {Proc. 2nd Euromicro Working Conference on Software Maintenance and Reengineering, pp.172-178, IEEE Computer},
    year = {1998},
    publisher = {Society Press}
}

Abstract:

A large body of research in the measurement of software complexity has been focused on imperative programs, but little effort has been made for logic programs. In this paper, a set of complexity metrics for concurrent logic programs are proposed, which are specifically designed to quantify the information flow of concurrent logic programs. These metrics are defined based on the argument dependence net (ADN) of a concurrent logic program which is an arc-classified digraph to explicitly represent various program dependences between arguments in the program. The proposed metrics can be used to measure the complexity of a concurrent logic program from various different viewpoints. 1

Citations

491	A Complexity Measure – McCabe - 1976
234	The Program Dependence Graph in a Software Development – Ottenstein, Ottenstein
233	Software Metrics - A Rigorous and Practical Approach" (2nd edition – Fenton, Pfleeger - 1997
149	Elements of Software Science – Halstead - 1977
45	Design of the Kernel Language for the Parallel Inference Machine – Ueda, Chikayama - 1990
18	Synthesis of Directionality Information for Functional Logic Programs – Boye, Paakki, et al. - 1993
8	Complexity Metrics for Distributed Programs – Cheng - 1993
5	Program Dependence Analysis of Concurrent Logic Programs and Its Applications – Zhao, Cheng, et al. - 1996
2	Complexity Control in Logic-Based Programming – Markusz, Kaposi - 1985
2	Complexity Measures for Rule-Based Programs – O’Neal, Edwards - 1994
1	Analysis and Measurement Techniques for Logic-Based Languages – McCauley, Edwards - 1996
1	Shyamasundar, "Proving Termination of GHC Programs – Rao, Kapur, et al. - 1993
1	General Report of the FGCS Follow-on Project – Uchida - 1994
1	Toward Measuring the Complexity of Software Architectures – Zhao - 1998

View or Download | Add to My Collection | Correct Errors