Re: Algorithm for Structurizing

kik@zia.cray.com (Krishna Ksheerabdhi)
Mon, 5 Dec 1994 07:30:42 GMT

          From comp.compilers

Related articles
Algorithm for Structurizing jlapp@nova.umd.edu (1994-12-04)
Re: Algorithm for Structurizing donawa@bnr.ca (chris (c.d.) donawa) (1994-12-09)
Re: Algorithm for Structurizing kik@zia.cray.com (1994-12-05)
Re: Algorithm for Structurizing danhicks@aol.com (1994-12-06)
Re: Algorithm for Structurizing tleylan@aloha.com (1994-12-07)
Re: Algorithm for Structurizing tleylan@aloha.com (1994-12-11)
Re: Algorithm for Structurizing tleylan@aloha.com (1994-12-13)
Re: Algorithm for Structurizing tleylan@aloha.com (1994-12-14)
| List of all articles for this month |
Newsgroups: comp.compilers
From: kik@zia.cray.com (Krishna Ksheerabdhi)
Keywords: tools
Organization: Cray Research, Inc.
References: 94-12-036
Date: Mon, 5 Dec 1994 07:30:42 GMT

  Joe Lapp <jlapp@nova.umd.edu> wrote:
>Hey, does anybody know of an algorithm for turning unstructured code
>into structured code? I'm as interested in an algorithm as I am in
>any tools that might do the job for me.


Here are a few references that should be helpful -


@Article{baker:77,
    author = "B.S. Baker",
    title = "An Algorithm for Structuring Flow Graphs",
    journal = jacm,
    year = 1977,
    volume = 24,
    number = 1,
    pages = "98-120",
    month = "January"
}


@Article{bohm:66,
    author = "W. Bohm and G. Jacopini",
    title = "Flow Diagrams, Turing Machines and Languages with
                                    Only Two Formation Rules",
    journal = cacm,
    year = 1966,
    volume = 9,
    number = 5,
    pages = "366-371",
    month = "May"
}


@Article{ammarguellat:92,
    author = "Zahira Ammarguellat",
    title = "A control-flow normalization algorithm and it's complexity",> journal = tose,
    year = 1992,
    volume = 18,
    number = 3,
    pages = "237-250",
    month = "march"
}


If one were writing a tool, I believe Sharir's algorithm for gathering
structure from the source could also come in handy. While his paper is
about data flow analysis, as a precursor he runs an algorithm to
categorize different parts of the control flow graph to different
structures.


@Article{sharir:80,
    author = "M. Sharir",
    title = "Structural analysis: A new approach to flow analysis
                                    in optimizing compilers",
    journal = "Computer Languages",
    year = 1980,
    volume = 5,
    pages = "141-153"
}


Cheers,
ksh
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.