Entailment for Specification Refinement

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

  author =       "Thomas Haynes and Rose Gamble and Leslie Knight and 
                 Roger Wainwright",
  title =        "Entailment for Specification Refinement",
  booktitle =    "Genetic Programming 1996: Proceedings of the First
                 Annual Conference",
  editor =       "John R. Koza and David E. Goldberg and 
                 David B. Fogel and Rick L. Riolo",
  year =         "1996",
  month =        "28--31 " # jul,
  keywords =     "genetic algorithms, genetic programming",
  pages =        "90--97",
  address =      "Stanford University, CA, USA",
  publisher_address = "Cambridge, MA, USA",
  publisher =    "MIT Press",
  URL =          "http://www.mcs.utulsa.edu/~rogerw/papers/Haynes-theorem.pdf",
  size =         "9 pages",
  abstract =     "Specification refinement is part of formal program
                 derivation, a method by which software is directly
                 constructed from a provably correct specification.
                 Because program derivation is an intensive manual
                 exercise used for critical software systems, an
                 automated approach would allow it to be viable for many
                 other types of software systems. The goal of this
                 research is to determine if genetic programming (GP)
                 can be used to automate the specification refinement
                 process. The initial steps toward this goal are to show
                 that a well--known proof logic for program derivation
                 can be encoded such that a GP--based system can infer
                 sentences in the logic for proof of a particular
                 sentence. The results are promising and indicate that
                 GP can be useful in aiding program derivation.",
  URL =          "http://cognet.mit.edu/sites/default/files/books/9780262315876/pdfs/9780262315876_chap11.pdf",
  URL =          "http://cognet.mit.edu/library/books/view?isbn=0262611279",
  notes =        "GP-96",

Genetic Programming entries for Thomas D Haynes Rose Gamble Leslie Knight Roger L Wainwright