CLPKIDS: A Program Analysis System for Concurrent Logic Programs (2001) [2 citations — 2 self]
Download:
|
|
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Proc. 25th IEEE Annual International Computer Software and Applications Conference (COMPSAC'2001), IEEE Computer
http://www.fit.ac.jp/~zhao/pub/ps/compsac2001.ps.gz
Add To MetaCart
Abstract:
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. 1
Citations
| 234 | The Program Dependence Graph in a Software Development – Ottenstein, Ottenstein |
| 218 | Dependence graphs and compiler optimizations – Kuck, Kuhn, et al. - 1981 |
| 108 | PARLOG: Parallel Programming in Logic – Clark, Gregory - 1986 |
| 29 | Logic programming environments: Dynamic program analysis and debugging – Ducassè, Noyè - 1994 |
| 19 | The program dependence graph in static program testing – Korel - 1987 |
| 18 | The Program Dependence Graph and Its Use – Ferrante, Ottenstein - 1987 |
| 12 | Bug localization by algorithmic debugging and program slicing – Kamkar, Shahmehri, et al. - 1990 |
| 9 | An Abstract KL1 Machine and Its Instruction Set – Kimura, Chikayama - 1987 |
