Entry Emami:1994:CIP from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | 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{Emami:1994:CIP,
  author =       "Maryam Emami and Rakesh Ghiya and Laurie J. Hendren",
  title =        "Context-Sensitive Interprocedural Points-to Analysis
                 in the Presence of Function Pointers",
  journal =      j-SIGPLAN,
  volume =       "29",
  number =       "6",
  pages =        "242--256",
  month =        jun,
  year =         "1994",
  CODEN =        "SINODQ",
  ISBN =         "0-89791-598-4",
  ISBN-13 =      "978-0-89791-598-4",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Thu May 13 12:37:27 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/contents/proceedings/pldi/178243/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/178243/p242-emami/",
  abstract =     "This paper reports on the design, implementation, and
                 empirical results of a new method for dealing with the
                 aliasing problem in C. The method is based on
                 approximating the points-to relationships between
                 accessible stack locations, and can be used to generate
                 alias pairs, or used directly for other analyses and
                 transformations. Our method provides context-sensitive
                 interprocedural information based on analysis over
                 invocation graphs that capture all calling contexts
                 including recursive and mutually-recursive calling
                 contexts. Furthermore, the method allows the smooth
                 integration for handling general function pointers in
                 C. We illustrate the effectiveness of the method with
                 empirical results from an implementation in the McCAT
                 optimizing/parallelizing C compiler.",
  acknowledgement = ack-nhfb,
  annote =       "Published as part of the Proceedings of PLDI'94.",
  classification = "C6120 (File organisation); C6150C (Compilers,
                 interpreters and other processors); C6150G (Diagnostic,
                 testing, debugging and evaluating systems)",
  conflocation = "Orlando, FL, USA; 20-24 June 1994",
  conftitle =    "ACM SIGPLAN '94 Conference on Programming Language
                 Design and Implementation (PLDI)",
  corpsource =   "Sch. of Comput. Sci., McGill Univ., Montreal, Que.,
                 Canada",
  keywords =     "accessible stack locations; alias pairs; aliasing
                 problem; C language; context-sensitive interprocedural
                 points-to analysis; data structures; design; function
                 pointers; general function pointers; invocation graphs;
                 languages; McCAT optimizing/parallelizing C compiler;
                 McCAT optimizing/parallelizing C compiler function
                 pointers; mutually-recursive calling contexts;
                 performance; program compilers; program diagnostics;
                 smooth integration",
  sponsororg =   "ACM",
  subject =      "{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Compilers. {\bf D.3.4} Software,
                 PROGRAMMING LANGUAGES, Processors, Optimization. {\bf
                 D.3.3} Software, PROGRAMMING LANGUAGES, Language
                 Constructs and Features, Procedures, functions, and
                 subroutines. {\bf D.3.2} Software, PROGRAMMING
                 LANGUAGES, Language Classifications, C.",
  treatment =    "P Practical",
}

Related entries