-
1
-
-
0001637515
-
The translation of 'goto' programs to 'while' programs
-
North-Holland, Amsterdam
-
E. Aschroft, Z. Manna, The translation of 'goto' programs to 'while' programs, in: Proceedings of the 1971 IFIP Congress, North-Holland, Amsterdam, 1971, pp. 250-260.
-
(1971)
Proceedings of the 1971 IFIP Congress
, pp. 250-260
-
-
Aschroft, E.1
Manna, Z.2
-
2
-
-
0024647563
-
Software restructuring
-
R.S. Arnold, Software restructuring, Proc. IEEE 77(4) (1989) 607-617.
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 607-617
-
-
Arnold, R.S.1
-
3
-
-
0017427016
-
An algorithm for structuring flowgraphs
-
B. Baker, An algorithm for structuring flowgraphs, J. ACM 24(1) (1977) 98-120.
-
(1977)
J. ACM
, vol.24
, Issue.1
, pp. 98-120
-
-
Baker, B.1
-
4
-
-
0017419683
-
A transformation system for developing recursive programs
-
R.M. Burstall, J. Darlington, A transformation system for developing recursive programs, J. ACM 24(1) (1977) 44-67.
-
(1977)
J. ACM
, vol.24
, Issue.1
, pp. 44-67
-
-
Burstall, R.M.1
Darlington, J.2
-
5
-
-
84980009359
-
Slicing programs with arbitrary control-flow
-
P. Fritzson (Ed.), Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Springer, New York
-
T. Ball, S. Horwitz, Slicing programs with arbitrary control-flow, in: P. Fritzson (Ed.), Proceedings of the First International Workshop on Automated and Algorithmic Debugging, Lecture Notes in Computer Science, Vol. 749, Springer, New York, 1993, pp. 206-222.
-
(1993)
Lecture Notes in Computer Science
, vol.749
, pp. 206-222
-
-
Ball, T.1
Horwitz, S.2
-
6
-
-
84987184897
-
Creating specifications from code; reverseengineering techniques
-
P.T. Breuer, K. Lano, Creating specifications from code; reverseengineering techniques, J. Software Maint.: Res. Pract. 3 (1991) 145-162.
-
(1991)
J. Software Maint.: Res. Pract.
, vol.3
, pp. 145-162
-
-
Breuer, P.T.1
Lano, K.2
-
9
-
-
84976732094
-
Problems with automatic restructurers
-
F.W. Calliss, Problems with automatic restructurers, SIGPLAN Notices 23 (1988) 13-21.
-
(1988)
SIGPLAN Notices
, vol.23
, pp. 13-21
-
-
Calliss, F.W.1
-
10
-
-
0025245266
-
Reverse engineering and design recovery: A taxonomy
-
E.J. Chikofsky, J.H. Cross II, Reverse engineering and design recovery: a taxonomy, IEEE Software 7(1) (1990) 13-17.
-
(1990)
IEEE Software
, vol.7
, Issue.1
, pp. 13-17
-
-
Chikofsky, E.J.1
Cross J.H. II2
-
11
-
-
0347713528
-
-
Master's thesis, The Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA, December
-
J.-C. Deprez, A context-sensitive formal transformation for restructuring programs, Master's thesis, The Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA, December 1997.
-
(1997)
A Context-sensitive Formal Transformation for Restructuring Programs
-
-
Deprez, J.-C.1
-
12
-
-
0023385308
-
The program dependence graph and its use in optimization
-
J. Ferrante, K.J. Ottenstein, J.D. Warren, The program dependence graph and its use in optimization, ACM Trans. Programming Languages Syst. 9(3) (1987) 319-349.
-
(1987)
ACM Trans. Programming Languages Syst.
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.J.2
Warren, J.D.3
-
15
-
-
0026203186
-
Using program slicing in software maintenance
-
K.B. Gallagher, J.R. Lyle, Using program slicing in software maintenance, IEEE Trans. Software Eng. 17(8) (1991) 751-761.
-
(1991)
IEEE Trans. Software Eng.
, vol.17
, Issue.8
, pp. 751-761
-
-
Gallagher, K.B.1
Lyle, J.R.2
-
16
-
-
0027623592
-
Automated assistance for program restructuring
-
W.G. Griswold, D. Notkin, Automated assistance for program restructuring, ACM Trans. Software Eng. 2(3) (1993) 228-269.
-
(1993)
ACM Trans. Software Eng.
, vol.2
, Issue.3
, pp. 228-269
-
-
Griswold, W.G.1
Notkin, D.2
-
18
-
-
0025252785
-
Using function abstraction to understand program behaviour
-
P.A. Hausler, M.G. Pleszkoch, R.C. Linger, A.R. Hevner, Using function abstraction to understand program behaviour, IEEE Software 7(1) (1990) 55-65.
-
(1990)
IEEE Software
, vol.7
, Issue.1
, pp. 55-65
-
-
Hausler, P.A.1
Pleszkoch, M.G.2
Linger, R.C.3
Hevner, A.R.4
-
19
-
-
0024700474
-
Integrating non-interfering versions of programs
-
S. Horwitz, J. Prins, T. Reps, Integrating non-interfering versions of programs, ACM Trans. Programming Languages Syst. 11(3) (1989) 345-387.
-
(1989)
ACM Trans. Programming Languages Syst.
, vol.11
, Issue.3
, pp. 345-387
-
-
Horwitz, S.1
Prins, J.2
Reps, T.3
-
21
-
-
0027928779
-
The program structure tree: Computing control regions in linear time
-
ACM Press
-
R. Johnson, D. Pearson, K. Pingali, The program structure tree: computing control regions in linear time, in: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), ACM Press, 1994, pp. 171-185.
-
(1994)
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI)
, pp. 171-185
-
-
Johnson, R.1
Pearson, D.2
Pingali, K.3
-
22
-
-
0016116068
-
Translatability of flowcharts into while programs
-
T. Kasai, Translatability of flowcharts into while programs, J. Comput. Syst. Sci. 9 (1974) 177-195.
-
(1974)
J. Comput. Syst. Sci.
, vol.9
, pp. 177-195
-
-
Kasai, T.1
-
23
-
-
0347515872
-
Using design cohesion to visualize, quantify, and restructure software
-
Skokie, IL, June Knowledge Systems Institute
-
B.-K. Kang, J. Bieman, Using design cohesion to visualize, quantify, and restructure software, in: Eighth International Conference on Software Engineering and Knowledge Engineering (SEKE'96), Skokie, IL, June 1996, Knowledge Systems Institute, pp. 222-229.
-
(1996)
Eighth International Conference on Software Engineering and Knowledge Engineering (SEKE'96)
, pp. 222-229
-
-
Kang, B.-K.1
Bieman, J.2
-
24
-
-
0000343053
-
Restructuring programs through program slicing
-
H.S. Kim, I.S. Chung, Y.R. Kwon, Restructuring programs through program slicing, Int. J. Software Eng. Knowledge Eng. 4(3) (1994) 349-368.
-
(1994)
Int. J. Software Eng. Knowledge Eng.
, vol.4
, Issue.3
, pp. 349-368
-
-
Kim, H.S.1
Chung, I.S.2
Kwon, Y.R.3
-
25
-
-
0027188250
-
Rule-based approach to computing module cohesion
-
Los Alamitos, CA, May IEEE Computer Society Press
-
A. Lakhotia, Rule-based approach to computing module cohesion, in: Proceedings of 15th International Conference on Software Engineering, Los Alamitos, CA, May 1993, IEEE Computer Society Press, pp. 35-44.
-
(1993)
Proceedings of 15th International Conference on Software Engineering
, pp. 35-44
-
-
Lakhotia, A.1
-
27
-
-
0031624153
-
DIME: A direct manipulation environment for evolutionary development of software
-
Los Alamitos, CA, June IEEE Computer Society Press
-
A. Lakhotia, DIME: a direct manipulation environment for evolutionary development of software, in: Proceedings of the International Workshop on Program Comprehension (IWPC'98), Los Alamitos, CA, June 1998, IEEE Computer Society Press.
-
(1998)
Proceedings of the International Workshop on Program Comprehension (IWPC'98)
-
-
Lakhotia, A.1
-
29
-
-
0031118262
-
Extracting reusable functions by flow graph-based program slicing
-
F. Lanubile, G. Visaggio, Extracting reusable functions by flow graph-based program slicing, IEEE Trans. Software Eng. 23(4) (1997) 246-258.
-
(1997)
IEEE Trans. Software Eng.
, vol.23
, Issue.4
, pp. 246-258
-
-
Lanubile, F.1
Visaggio, G.2
-
30
-
-
0012360914
-
-
PhD thesis, University of Southwestern Louisiana, The Center for Advanced Computer Studies, Lafayette, LA
-
J. Nandigam, A measure for module cohesion, PhD thesis, University of Southwestern Louisiana, The Center for Advanced Computer Studies, Lafayette, LA, 1995.
-
(1995)
A Measure for Module Cohesion
-
-
Nandigam, J.1
-
31
-
-
0029477146
-
Detecting interleaving
-
Los Alamitos, CA, 1995, IEEE Computer Society Press
-
S. Rugaber, K. Stirewalt, L.M. Wills, Detecting interleaving, in: Proceedings of the International Conference on Software Maintenance, Los Alamitos, CA, 1995, IEEE Computer Society Press, pp. 265-274.
-
Proceedings of the International Conference on Software Maintenance
, pp. 265-274
-
-
Rugaber, S.1
Stirewalt, K.2
Wills, L.M.3
-
32
-
-
0030170660
-
Understanding interleaved code
-
S. Rugaber, K. Stirewalt, L. Wills, Understanding interleaved code, Automated Software Eng. 3(1-2) (1996) 47-76.
-
(1996)
Automated Software Eng.
, vol.3
, Issue.1-2
, pp. 47-76
-
-
Rugaber, S.1
Stirewalt, K.2
Wills, L.3
-
33
-
-
84957647698
-
Program specialization via program slicing
-
O. Danvy, R. Glueck, P. Thiemann (Eds.), Springer, New York
-
T. Reps, T. Turnidge, Program specialization via program slicing, in: O. Danvy, R. Glueck, P. Thiemann (Eds.), Lecture Notes in Computer Science, Vol. 1110, Springer, New York, 1996, pp. 409-429.
-
(1996)
Lecture Notes in Computer Science
, vol.1110
, pp. 409-429
-
-
Reps, T.1
Turnidge, T.2
-
34
-
-
0023564742
-
Software recycling
-
Los Alamitos, CA, IEEE Computer Society Press
-
H.M. Sneed, G. Jandrasics, Software recycling, in: Proceedings of the Conference on Software Maintenance, Los Alamitos, CA, 1987, IEEE Computer Society Press, pp. 82-90.
-
(1987)
Proceedings of the Conference on Software Maintenance
, pp. 82-90
-
-
Sneed, H.M.1
Jandrasics, G.2
-
35
-
-
0015974558
-
Structured design
-
W.P. Stevens, G.J. Myers, L.L. Constantine, Structured design, IBM Syst. J. 13(2) (1974) 115-139.
-
(1974)
IBM Syst. J.
, vol.13
, Issue.2
, pp. 115-139
-
-
Stevens, W.P.1
Myers, G.J.2
Constantine, L.L.3
-
36
-
-
0020151720
-
Good system structure features: Their complexity and execution time cost
-
J.A. Stankovic, Good system structure features: their complexity and execution time cost, IEEE Trans. Software Eng. SE-8(4) (1982) 306-318.
-
(1982)
IEEE Trans. Software Eng.
, vol.SE-8
, Issue.4
, pp. 306-318
-
-
Stankovic, J.A.1
-
38
-
-
84987215737
-
Abstracting a specification from code
-
M. Ward, Abstracting a specification from code, J. Software Maint.: Res. Pract. 5 (1993) 101-122.
-
(1993)
J. Software Maint.: Res. Pract.
, vol.5
, pp. 101-122
-
-
Ward, M.1
-
39
-
-
0024055808
-
Program translation via abstraction and reimplementation
-
R.C. Waters, Program translation via abstraction and reimplementation, IEEE Trans. Software Eng. 14(8) (1988) 1207-1228.
-
(1988)
IEEE Trans. Software Eng.
, vol.14
, Issue.8
, pp. 1207-1228
-
-
Waters, R.C.1
-
40
-
-
0003805545
-
-
PhD thesis, The University of Michigan, Ann Arbor, MI
-
M. Weiser, Program slicing: formal, psychological and practical investigations of an automatic program abstraction method, PhD thesis, The University of Michigan, Ann Arbor, MI, 1979.
-
(1979)
Program Slicing: Formal, Psychological and Practical Investigations of an Automatic Program Abstraction Method
-
-
Weiser, M.1
|