Entry Grove:1993:ICP 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{Grove:1993:ICP,
  author =       "Dan Grove and Linda Torczon",
  title =        "Interprocedural constant propagation: a study of jump
                 function implementations",
  journal =      j-SIGPLAN,
  volume =       "28",
  number =       "6",
  pages =        "90--99",
  month =        jun,
  year =         "1993",
  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 =      "Sun Dec 14 09:16:37 MST 2003",
  bibsource =    "http://portal.acm.org/;
                 http://www.acm.org/pubs/contents/proceedings/pldi/155090/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/155090/p90-grove/",
  abstract =     "An implementation of interprocedural constant
                 propagation must model the transmission of values
                 through each procedure. In the framework proposed by
                 Callahan, Cooper, Kennedy, and Torczon in 1986, this
                 intraprocedural propagation is modeled with a {\em jump
                 function\/}. While Callahan {\em et al.\/} propose
                 several kinds of jump functions, they give no data to
                 help choose between them. This paper reports on a
                 comparative study of jump function implementations. It
                 shows that different jump functions produce different
                 numbers of useful constants; it suggests a particular
                 function, called the {\em pass-through parameter jump
                 function\/}, as the most cost-effective in practice.",
  acknowledgement = ack-nhfb,
  affiliation =  "Sun Microsystems, Mountain View, CA, USA",
  annote =       "Published as part of the Proceedings of PLDI'93.",
  classification = "C6110 (Systems analysis and programming); C6120
                 (File organisation); C6150C (Compilers, interpreters
                 and other processors)",
  confdate =     "23-25 June 1993",
  conflocation = "Albuquerque, NM, USA",
  confsponsor =  "ACM",
  keywords =     "Comparative study; Constants; Cost-effective;
                 Interprocedural constant propagation; Jump function
                 implementations; Pass-through parameter jump function;
                 performance",
  subject =      "{\bf D.3.3} Software, PROGRAMMING LANGUAGES, Language
                 Constructs and Features, Procedures, functions, and
                 subroutines. {\bf D.3.4} Software, PROGRAMMING
                 LANGUAGES, Processors, Compilers. {\bf F.3.3} Theory of
                 Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies
                 of Program Constructs.",
  thesaurus =    "Data structures; Program compilers; Programming",
}

Related entries