Entailment for Specification Refinement

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

@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 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 F Gamble Leslie Knight Roger L Wainwright

Citations