论文信息 - Interactive control restructuring

Interactive control restructuring

An interactive algorithm for improving control flow is introduced. This algorithm has been implemented within the ENCORE re-engineering environment. The objective of the algorithm is to restructure input code so as to simplify the control flow. A key feature of the algorithm is that is permits user control during the restructuring. The algorithm also handles, in a natural manner, multiple return statements, multiple loop exits, multi-level loop exits and endless loops.

Daniel J. Rosenkrantz | Jeanette M. Bruno | D. Rosenkrantz | J. Bruno

[1] Corrado Böhm,et al. Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[2] M. Howard Williams,et al. Restructuring Pascal Programs Containing Goto Statements , 1985, Comput. J..

[3] Harlan D. Mills,et al. Trace: Tennessee Research and CreativeExchange , 2022 .

[4] David Harel,et al. On folk theorems , 1980, CACM.

[5] M. Howard Williams,et al. Conversion of Unstructured Flow Diagrams to Structured Form , 1978, Comput. J..

[6] S. Rao Kosaraju. Analysis of Structured Programs , 1974, J. Comput. Syst. Sci..

[7] J. N. Sturman,et al. Achieving software reuse by conversion and reorganization of software systems , 1990, IEEE Conference on Aerospace and Electronics.

[8] G. Oulsnam,et al. The Algorithmic Transformation of Schemas to Structured Form , 1987, Computer/law journal.

[9] John C. Cherniavsky,et al. On Transforming Control Structures , 1982, SIAM J. Comput..

[10] Lyle Ramshaw,et al. Eliminating go to's while preserving program structure , 1988, JACM.

[11] E Bush,et al. The automatic restructuring of COBOL , 1986 .

[12] Tadao Kasami,et al. On the capabilities of while, repeat, and exit statements , 1973, Commun. ACM.

[13] Zohar Manna,et al. Translating Program Schemas to While-Schemas , 1975, SIAM J. Comput..

[14] Brenda S. Baker,et al. An Algorithm for Structuring Flowgraphs , 1977, J. ACM.

[15] G. Oulsnam,et al. Unravelling Unstructured Programs , 1982, Comput. J..