Entry Hind:1999:IPA from toplas.bib

Last update: Tue May 1 02:05:46 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Hind:1999:IPA,
  author =       "Michael Hind and Michael Burke and Paul Carini and
                 Jong-Deok Choi",
  title =        "Interprocedural pointer alias analysis",
  journal =      j-TOPLAS,
  volume =       "21",
  number =       "4",
  pages =        "848--894",
  month =        jul,
  year =         "1999",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Tue Sep 26 10:12:58 MDT 2000",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/articles/journals/toplas/1999-21-4/p848-hind/p848-hind.pdf;
                 http://www.acm.org/pubs/citations/journals/toplas/1999-21-4/p848-hind/",
  abstract =     "We present practical approximation methods for
                 computing and representing interprocedural aliases for
                 a program written in a language that includes pointers,
                 reference parameters, and recursion. We present the
                 following contributions: (1) a framework for
                 interprocedural pointer alias analysis that handles
                 function pointers by constructing the program call
                 graph while alias analysis is being performed; (2) a
                 {\em flow-sensitive\/} interprocedural pointer alias
                 analysis algorithm; (3) a {\em flow-insensitive\/}
                 interprocedural pointer alias analysis algorithm; (4) a
                 {\em flow-insensitive\/} interprocedural pointer alias
                 analysis algorithm that incorporates {\em kill\/}
                 information to improve precision; (5) empirical
                 measurements of the efficiency and precision of the
                 three interprocedural alias analysis algorithms.",
  acknowledgement = ack-nhfb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "interprocedural analysis; pointer aliasing; program
                 analysis",
  subject =      "Software --- Programming Languages --- Processors
                 (D.3.4): {\bf Optimization}",
}

Related entries