Entailment for Specification Refinement

by

Haynes, T., Gamble, R., Knight, L. and Wainwright, R.

Literature search on Evolutionary ComputationBBase ©1999-2013, Rasmus K. Ursem
     Home · Search · Adv. search · Authors · Login · Add entries   Webmaster
Note to authors: Please submit your bibliography and contact information - online papers are more frequently cited.

Info: Genetic Programming 1996: Proceedings of the First Annual Conference (Conference proceedings), 1996, p. 90-97
Keywords:Genetic Programming, Genetic Algorithms
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) [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.
Notes:
GP-96
URL(s):Postscript
(G)zipped postscript

Review item:

Mark as doublet (will be reviewed)

Print entry




BibTex:
@InProceedings{haynes:1996:esr,
  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 Programming, Genetic Algorithms",
  pages =        "90--97",
  address =      "Stanford University, CA, USA",
  publisher_address = "Cambridge, MA, USA",
  publisher =    "MIT Press",
  URL =          "http://euler.mcs.utulsa.edu/~haynes/theorem.ps",
  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.",
  notes =        "GP-96",
}