Entry Pingali:1986:EDD 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{Pingali:1986:EDD,
  author =       "Keshav Pingali and Arvind",
  title =        "Efficient Demand-Driven Evaluation. Part 2",
  journal =      j-TOPLAS,
  volume =       "8",
  number =       "1",
  pages =        "109--139",
  month =        jan,
  year =         "1986",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925 (print), 1558-4593 (electronic)",
  ISSN-L =       "0164-0925",
  bibsource =    "Compiler/Compiler.Lins.bib; Compiler/TOPLAS.bib;
                 http://www.math.utah.edu/pub/tex/bib/toplas.bib",
  abstract =     "In Part 1 of this paper [5], we presented a scheme
                 whereby a compiler could propagate demands through
                 programs in a powerful stream language L. A data-driven
                 evaluation of the transformed program performed exactly
                 the same computation as a demand-driven evaluation of
                 the original program. In this paper we explore a
                 different transformation, which trades the complexity
                 of demand propagation for a {\em bounded\/} amount of
                 extra computation on some data lines.",
  acknowledgement = ack-pb,
  fjournal =     "ACM Transactions on Programming Languages and
                 Systems",
  subject =      "Categories and Subject Descriptors: Software
                 -Programming Techniques - Applicative (Functional)
                 Programming (D.1.1); Software -Programming Techniques -
                 Concurrent Programming (D.1.3); Software -Programming
                 Languages - Formal Definitions and Theory (D.3.1):
                 Semantics ; Theory of Computation -Logics and Meanings
                 of Programs - Semantics of Programming Languages
                 (F.3.2); Software -Programming Languages - Processors
                 (D.3.4); Theory of Computation -Logics and Meanings of
                 Programs - Studies of Program Constructs (F.3.3);
                 Software -Programming Languages - Language
                 Classifications (D.3.2); Software -Programming
                 Languages - Language Classifications (D.3.2): Data-flow
                 languages ; Software -Programming Languages -
                 Processors (D.3.4): Optimization ; Software
                 -Programming Languages - Language Classifications
                 (D.3.2): LD ; General Terms: Algorithms, Languages,
                 Theory, Verification",
}

Related entries