Download:
|
by S. Noguchi, M. Ota (eds, Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
http://www.fit.ac.jp/~zhao/pub/ps/occam96.sdn.ps.gz
Add To MetaCart
Abstract:
Abstract. An interprocedural program dependence representation named the System Dependence Net (SDN) for occam 2 programs is presented. It is an extension of existing dependence representations to represent the full range of an occam 2 program in the sense that we construct the SDN to represent not only multiple procedures but also concurrency issues in the program. The SDN can be used as an underlaying representation to develop software engineering tools for occam 2 programs. 1
Citations
|
908
|
Program slicing
– Weiser
- 1984
|
|
445
|
A survey of program slicing techniques
– Tip
- 1995
|
|
234
|
The Program Dependence Graph in a Software Development
– Ottenstein, Ottenstein
|
|
109
|
Measuring Functional Cohesion
– Bieman, Ott
- 1994
|
|
96
|
Program slicing
– Binkley, Gallagher
- 1996
|
|
81
|
Incremental program testing using program dependency graphs
– Bates, Horiwitz
- 1993
|
|
78
|
Speeding up slicing
– Horwitz, Reps, et al.
- 1994
|
|
74
|
Debugging with dynamic slicing and backtracking
– Agrawal, DeMillo, et al.
- 1993
|
|
74
|
The use of program dependence graphs in software engineering
– Horwitz, Reps
- 1992
|
|
43
|
Occam 2 Reference manual
– Ltd
- 1988
|
|
29
|
A hierarchical basis for reordering transformations
– WARREN
- 1984
|
|
19
|
The program dependence graph in static program testing
– Korel
- 1987
|
|
18
|
The Program Dependence Graph and Its Use
– Ferrante, Ottenstein
- 1987
|
|
13
|
Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems
– Cheng
- 1993
|
|
12
|
Bug localization by algorithmic debugging and program slicing
– Kamkar, Shahmehri, et al.
- 1990
|
|
10
|
Interprocedural Slicing Using Dependence
– Horwitz, Reps, et al.
- 1990
|
|
3
|
Wolfe "Dependence Graphs and Compiler Optimizations
– Kuck, Kuhn, et al.
- 1981
|
|
1
|
A Task Dependence Net Generator for Concurrent Ada Programs
– Kasahara, Cheng, et al.
- 1993
|
