@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 = "2831 " # jul,
keywords = "Genetic Programming, Genetic Algorithms",
pages = "9097",
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 wellknown proof logic for program derivation
can be encoded such that a GPbased 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 = "GP96",
}
