-
1
-
-
0036442260
-
Union slices for program maintenance
-
Á. Beszédes, C. Faragó, Z. M. Szabó, J. Csirik, and T. Gyimóthy. Union slices for program maintenance. In International Conference on Software Maintenance (ICSM'02), pages 12-21, 2002.
-
(2002)
International Conference on Software Maintenance (ICSM'02)
, pp. 12-21
-
-
Beszédes, C.1
Faragó, Z.M.2
Szabó, J.3
Csirik, A.4
Gyimóthy, T.5
-
3
-
-
0032294765
-
Conditioned program slicing
-
InM. Harman and K. Gallagher, editors Elsevier Science B. V.
-
G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. InM. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 595-607. Elsevier Science B. V., 1998.
-
(1998)
Information and Software Technology Special Issue on Program Slicing
, vol.40
, pp. 595-607
-
-
Canfora, A.1
Cimitile, G.2
De Lucia, A.3
-
4
-
-
3142629317
-
Slicing large programs to isolate reusable functions
-
G. Canfora, A. Cimitile, A. D. Lucia, and G. A. D. Lucca. Slicing large programs to isolate reusable functions. In EUROMICRO Conference, pages 140-147, 1994.
-
(1994)
EUROMICRO Conference
, pp. 140-147
-
-
Canfora, A.1
Cimitile, A.D.2
Lucia, G.3
Lucca, G.A.D.4
-
5
-
-
0000836865
-
A parallel algorithm for static program slicing
-
Dec.
-
S. Danicic, M. Harman, and Y. Sivagurunathan. A parallel algorithm for static program slicing. Information Processing Letters, 56(6):307-313, Dec. 1995.
-
(1995)
Information Processing Letters
, vol.56
, Issue.6
, pp. 307-313
-
-
Danicic, M.1
Harman, S.2
Sivagurunathan, Y.3
-
6
-
-
0023385308
-
The program dependence graph and its use in optimization
-
July
-
J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
-
(1987)
ACM Transactions on Programming Languages and Systems
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, K.J.1
Ottenstein, J.2
Warren, J.D.3
-
8
-
-
0011793707
-
Automatic extraction of executable program subsets by simultaneous dynamic program slicing
-
Mar.
-
R. J. Hall. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Automated Software Engineering, 2(1):33-53, Mar. 1995.
-
(1995)
Automated Software Engineering
, vol.2
, Issue.1
, pp. 33-53
-
-
Hall, R.J.1
-
9
-
-
18144430037
-
Slice-based measurement of coupling
-
In R. Harrison, editor, Boston, Massachusetts, USA, May
-
M. Harman, M. Okunlawon, B. Sivagurunathan, and S. Danicic. Slice-based measurement of coupling. In R. Harrison, editor, 19th ICSE,W orkshop on Process Modelling and Empirical Studies of Software Evolution, Boston, Massachusetts, USA, May 1997.
-
(1997)
19th ICSE,W Orkshop on Process Modelling and Empirical Studies of Software Evolution
-
-
Harman, M.1
Okunlawon, B.2
Sivagurunathan, M.3
Danicic, S.4
-
10
-
-
0024700474
-
Integrating non-interfering versions of programs
-
July
-
S. Horwitz, J. Prins, and T. Reps. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.
-
(1989)
ACM Transactions on Programming Languages and Systems
, vol.11
, Issue.3
, pp. 345-387
-
-
Horwitz, J.1
Prins, S.2
Reps, T.3
-
11
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
S. Horwitz, T. Reps, and D. W. Binkley. Interprocedural slicing using dependence graphs. ACMTransactions on Programming Languages and Systems, 12(1):26-61, 1990.
-
(1990)
ACMTransactions on Programming Languages and Systems
, vol.12
, Issue.1
, pp. 26-61
-
-
Horwitz, T.1
Reps, S.2
Binkley, D.W.3
-
15
-
-
84884718069
-
Equivalence of conservative, linear, free program schemas is decidable
-
to appear
-
M. R. Laurence, S. Danicic, M. Harman, R. M. Hierons, and J. Howroyd. Equivalence of conservative, linear, free program schemas is decidable. Theoretical Computer Science. to appear.
-
Theoretical Computer Science
-
-
Laurence, S.1
Danicic, M.2
Harman, R.M.3
Hierons, M.R.4
Howroyd, J.5
-
17
-
-
85063799645
-
Slice based metrics for estimating cohesion
-
Baltimore, Maryland, USA, May, IEEE Computer Society Press, Los Alamitos, California, USA
-
L. M. Ott and J. J. Thuss. Slice based metrics for estimating cohesion. In Proceedings of the IEEE-CS International Metrics Symposium, pages 71-81, Baltimore, Maryland, USA, May 1993. IEEE Computer Society Press, Los Alamitos, California, USA.
-
(1993)
Proceedings of the IEEE-CS International Metrics Symposium
, pp. 71-81
-
-
Ott, L.M.1
Thuss, J.J.2
-
18
-
-
0025491545
-
A formal model of program dependences and its implications for software testing, debugging and maintenance
-
Sept.
-
A. Podgurski and L. A. Clarke. A formal model of program dependences and its implications for software testing, debugging and maintenance. IEEE Trans. Softw. Eng., 16(9):965-979, Sept. 1990.
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.9
, pp. 965-979
-
-
Podgurski, A.1
Clarke, L.A.2
-
19
-
-
0343570187
-
The semantics of program slicing
-
University of Wisconsin
-
T. Reps and W. Yang. The semantics of program slicing. Technical Report Technical Report 777, University of Wisconsin, 1988.
-
(1988)
Technical Report Technical Report
, vol.777
-
-
Reps, T.1
Yang, W.2
-
20
-
-
0000990322
-
A survey of program slicing techniques
-
Sept.
-
F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, Sept. 1995.
-
(1995)
Journal of Programming Languages
, vol.3
, Issue.3
, pp. 121-189
-
-
Tip, F.1
-
21
-
-
84976732512
-
The semantic approach to program slicing
-
Toronto, Canada, June 107-119 1991
-
G. A. Venkatesh. The semantic approach to program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-28, Toronto, Canada, June 1991. Proceedings in SIGPLAN Notices, 26(6), pp. 107-119, 1991.
-
(1991)
ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings in SIGPLAN Notices
, vol.26
, Issue.6
, pp. 26-28
-
-
Venkatesh, G.A.1
-
22
-
-
0003805545
-
-
PhD thesis, University of Michigan, Ann Arbor, MI
-
M. Weiser. Program slices: Formal,psyc hological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
-
(1979)
Program Slices: Formal,psyc Hological, and Practical Investigations of An Automatic Program Abstraction Method
-
-
Weiser, M.1
|