A. M. Erosa. A goto-elimination method and its implementation for the McCAT C compiler. Master's thesis, McGill University, May 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Practical Techniques For Interprocedural Heap Analysis - Ghiya (1996) (7 citations) (Correct)
....In addition, return statements is supported for exiting a procedure, and break and continue statements are supported for exiting a loop. Since the unrestricted use of goto is not compositional, the compiler provides a structuring phase that eliminates all goto statements from a C program [Ero94, EH94] An important simplification for compositional control constructs involves reducing complex conditional expressions into simple expressions with no side effects. Figure 2.7 gives an example. Another significant transformation concerns making the control flow in switch case statements ....
A. M. Erosa. A goto-elimination method and its implementation for the McCAT C compiler. Master's thesis, McGill University, May 1994.
Putting Pointer Analysis To Work - Ghiya (1998) (63 citations) (Correct)
....In addition, the return statement is supported for exiting a procedure, and break and continue statements are supported for exiting a loop. Since the unrestricted use of goto is not compositional, the compiler provides a structuring phase that eliminates all goto statements from a C program [Ero94, EH94] With a compositional representation, structured analysis techniques can be used to analyze all control constructs. For example, a while loop can be analyzed by considering only its components: the conditional expression and the body. A structured analysis framework is easier to implement, ....
A. M. Erosa. A goto-elimination method and its implementation for the McCAT C compiler. Master's thesis, McGill University, May 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC