Entry Fitzpatrick:1996:TAF from compj.bib

Last update: Sun Nov 30 02:31:30 MST 2003                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{Fitzpatrick:1996:TAF,
  author =       "Stephen Fitzpatrick and M. Clint and T. J. Harmer and
                 P. Kilpatrick",
  title =        "The tailoring of abstract functional specifications of
                 numerical algorithms for sparse data structures through
                 automated program derivation and transformation",
  journal =      j-COMP-J,
  volume =       "39",
  number =       "2",
  pages =        "145--168",
  month =        "????",
  year =         "1996",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:54:45 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_39/Issue_02/Vol39_02.index.html",
  URL =          "http://www.oup.co.uk/jnls/list/comjnl/hdb/Volume_39/Issue_02/390145.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/Volume_39/Issue_02/Vol39_02.body.html#AbstractFitzpatrick",
  acknowledgement = ack-nhfb,
  classcodes =   "C6110F (Formal methods); C4140 (Linear algebra); C6115
                 (Programming support); C6120 (File organisation)",
  corpsource =   "Dept. of Comput. Sci., Queen's Univ., Belfast, UK",
  email-1 =      "S.Fitzpatrick@cs.qub.ac.uk",
  keywords =     "abstract functional specification tailoring; array
                 processors; automated program; automated program
                 derivation; automatic programming; data structures;
                 efficient imperative implementations; execution;
                 formal; functional languages; functional programming;
                 highly; numerical mathematical algorithms; performance;
                 programming techniques; sequential processors; sparse
                 data; sparse matrices; special; specification;
                 structures; transformations; vector processors",
  treatment =    "T Theoretical or Mathematical",
}

Related entries