Entry ODonnell:1994:CPP from parallelprocesslett.bib

Last update: Fri Jul 8 02:02:43 MDT 2005                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{ODonnell:1994:CPP,
  author =       "John T. O'Donnell",
  title =        "A correctness proof of parallel scan",
  journal =      j-PARALLEL-PROCESS-LETT,
  volume =       "4",
  number =       "3",
  pages =        "329--338",
  month =        sep,
  year =         "1994",
  CODEN =        "PPLTEE",
  ISSN =         "0129-6264",
  bibdate =      "Mon Apr 14 10:50:40 MDT 1997",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Glasgow",
  affiliationaddress = "Glasgow, UK",
  classification = "721.1; 722.4; 723.1; C4240P (Parallel programming
                 and algorithm theory); C5220P (Parallel architecture);
                 C6110B (Software engineering techniques); C6110P
                 (Parallel programming)",
  conflocation = "Wadern, Germany; June 1993",
  conftitle =    "Parallelization Techniques for Uniform Algorithms
                 {Workshop}",
  corpsource =   "Dept. of Comput. Sci., Glasgow Univ., UK",
  countrypub =   "Singapore",
  journalabr =   "Parallel Process Lett",
  keywords =     "abstract parallel architecture; Algorithms;
                 algorithms; Computer architecture; Correctness proof;
                 correctness proof; divide-and-conquer strategy;
                 Equational reasoning; equational reasoning; folds;
                 Formal logic; formal specification; Functional
                 programming; functional programming; Mathematical
                 operators; Multiprocessing programs; parallel; parallel
                 architecture; parallel architectures; Parallel
                 processing systems; parallel programming; Parallel scan
                 algorithm; parallel scan algorithm; program
                 verification; programming; Programming theory;
                 programming theory; pure functional language; Theorem
                 proving",
  treatment =    "T Theoretical or Mathematical",
}

Related entries