Entry Harrison:1992:MTD 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{Harrison:1992:MTD,
  author =       "P. G. Harrison and H. Khoshnevisan",
  title =        "The Mechanical Transformation of Data Types",
  journal =      j-COMP-J,
  volume =       "35",
  number =       "2",
  pages =        "138--147",
  month =        apr,
  year =         "1992",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:53:32 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_35/Issue_02/Vol35_02.index.html",
  URL =          "http://www3.oup.co.uk/computer_journal/Volume_35/Issue_02/Vol35_02.body.html#AbstractHarrison",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput., Imperial Coll. of Sci. and Technol.,
                 London Univ., UK",
  author-1-adr = "Department of Computing, Imperial College of Science
                 and Technology, University of London, London 5W7 2BZ",
  author-2-adr = "Department of Computing, Imperial College of Science
                 and Technology, University of London, London 5W7 2BZ",
  classcodes =   "C6120 (File organisation); C6110 (Systems analysis and
                 programming); C4240 (Programming and algorithm
                 theory)",
  classification = "C4240 (Programming and algorithm theory); C6110
                 (Systems analysis and programming); C6120 (File
                 organisation)",
  corpsource =   "Dept. of Comput., Imperial Coll. of Sci. and Technol.,
                 London Univ., UK",
  keywords =     "abstract data types; Abstract data types; abstraction
                 function; Abstraction function; application-oriented
                 solutions; Application-oriented solutions;
                 combinator-expressions; Combinator-expressions;
                 concrete types; Concrete types; data structures;
                 executional properties; Executional properties;
                 first-order functional algebra; First-order functional
                 algebra; function-level axioms; Function-level axioms;
                 inverse functions; Inverse functions; mechanisable
                 rewrite-based; Mechanisable rewrite-based
                 transformation system; programming; programming theory;
                 rigorous mathematical foundations; Rigorous
                 mathematical foundations; transformation system",
  thesaurus =    "Data structures; Programming; Programming theory",
  treatment =    "P Practical; T Theoretical or Mathematical",
}

Related entries