Entry LeCharlier:1994:EEG 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{LeCharlier:1994:EEG,
  author =       "Baudouin {Le Charlier} and Pascal {Van Hentenryck}",
  title =        "Experimental Evaluation of a Generic Abstract
                 Interpretation Algorithm for {PROLOG}",
  journal =      j-TOPLAS,
  volume =       "16",
  number =       "1",
  pages =        "35--101",
  month =        jan,
  year =         "1994",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibdate =      "Mon Oct 26 07:59:10 1998",
  bibsource =    "Compiler/TOPLAS.bib;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  URL =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/174627.html",
  abstract =     "Abstract interpretation of PROLOG programs has
                 attracted many researchers in recent years, partly
                 because of the potential for optimization in PROLOG
                 compilers and partly because of the declarative nature
                 of logic programming languages that make them more
                 amenable to optimization than procedural languages.
                 Most of the work, however, has remained at the
                 theoretical level, focusing on the developments of
                 frameworks and the definition of abstract
                 domains.\par

                 This paper reports our effort to verify experimentally
                 the practical value of this area of research. It
                 describes the design and implementation of the generic
                 abstract interpretation algorithm GAIA that we
                 originally proposed in Le Charlier et al. [1991], its
                 instantiation to a sophisticated abstract domain
                 (derived from Bruynooghe and Janssens [1988])
                 containing modes, types, sharing, and aliasing, and its
                 evaluation both in terms of performance and accuracy.
                 The overall implementation (over 5000 lines of Pascal)
                 has been systematically analyzed on a variety of
                 programs and compared with the complexity analysis of
                 Le Charlie et al. [1991] and the specific analysis
                 systems of Hickey and Mudambi [1989], Taylor [1989;
                 1990], Van Roy and Despain [1990], and Warren et al.
                 [1988].",
  acknowledgement = ack-pb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  keywords =     "algorithms; experimentation; languages; performance",
  subject =      "{\bf D.3.4}: Software, PROGRAMMING LANGUAGES,
                 Processors, Optimization. {\bf D.3.4}: Software,
                 PROGRAMMING LANGUAGES, Processors, Compilers. {\bf
                 D.3.2}: Software, PROGRAMMING LANGUAGES, Language
                 Classifications, Prolog.",
}

Related entries