Entry Ward:1996:PAF 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{Ward:1996:PAF,
  author =       "M. P. Ward",
  title =        "Program Analysis by Formal Transformation",
  journal =      j-COMP-J,
  volume =       "39",
  number =       "7",
  pages =        "598--618",
  month =        "????",
  year =         "1996",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:54:55 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_39/Issue_07/Vol39_07.index.html",
  URL =          "http://www.oup.co.uk/jnls/list/comjnl/hdb/Volume_39/Issue_07/390598.sgm.abs.html;
                 http://www3.oup.co.uk/computer_journal/Volume_39/Issue_07/Vol39_07.body.html#AbstractWard",
  acknowledgement = ack-nhfb,
  author-1-adr = "Computer Science Department. University of Durham
                 Science Laboratories, South Rd., Durham DH1 3LE, UK",
  classcodes =   "C6110F (Formal methods); C6110B (Software engineering
                 techniques); C6120 (File organisation); C6150G
                 (Diagnostic, testing, debugging and evaluating
                 systems)",
  corpsource =   "Dept. of Comput. Sci., Durham Univ., UK",
  email-1 =      "Martin.Ward@durham.ac.uk",
  keywords =     "abstract specification; arrays; case study; complex
                 control; data structures; diagnostics; flow; formal
                 specification; formal transformation; high-level
                 specifications; linked lists; low-level program
                 operations; program; program analysis; program
                 manipulation; reverse engineering; semantics-preserving
                 operations; sets; software maintenance; sorting;
                 structured programming; topological sorting; topology;
                 Wide Spectrum Language; WSL",
  treatment =    "B Bibliography; P Practical",
}

Related entries