Entry Carini:1995:FIC 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{Carini:1995:FIC,
  author =       "Paul R. Carini and Michael Hind",
  title =        "Flow-sensitive interprocedural constant propagation",
  journal =      j-SIGPLAN,
  volume =       "30",
  number =       "6",
  pages =        "23--31",
  month =        jun,
  year =         "1995",
  CODEN =        "SINODQ",
  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/207110/index.html",
  URL =          "http://www.acm.org:80/pubs/citations/proceedings/pldi/207110/p23-carini/",
  abstract =     "We present a flow-sensitive interprocedural constant
                 propagation algorithm, which supports recursion while
                 only performing one flow-sensitive analysis of each
                 procedure. We present experimental results which show
                 that this method finds substantially more constants
                 than previous methods and is efficient in practice. We
                 introduce new metrics for evaluating interprocedural
                 constant propagation algorithms which measure the
                 number of interprocedural constant values that are
                 propagated. We use these metrics to provide further
                 experimental results for our algorithm.",
  acknowledgement = ack-nhfb,
  affiliation =  "IBM Thomas J. Watson Res. Center, Yorktown Heights,
                 NY, USA",
  annote =       "Published as part of the Proceedings of PLDI'95.",
  classification = "C6110 (Systems analysis and programming); C6150C
                 (Compilers, interpreters and other processors); C6150N
                 (Distributed systems software)",
  keywords =     "algorithms; Constants; experimentation; Flow-sensitive
                 analysis; Flow-sensitive interprocedural constant
                 propagation; Intraprocedural control flow; languages;
                 measurement; Metrics; Procedure analysis; Recursion",
  subject =      "{\bf D.3.4} Software, PROGRAMMING LANGUAGES,
                 Processors, Optimization. {\bf F.3.3} Theory of
                 Computation, LOGICS AND MEANINGS OF PROGRAMS, Studies
                 of Program Constructs. {\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, Program and
                 recursion schemes.",
  thesaurus =    "Data flow analysis; Program compilers; Program control
                 structures; Remote procedure calls; Software metrics",
}

Related entries