Methods and systems for automatically generating provably correct computer program code

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

@Misc{PoPat07-1,
  author =       "Wolfgang H. Polak",
  title =        "Methods and systems for automatically generating
                 provably correct computer program code",
  howpublished = "United States Patent 7,243,086",
  year =         "2007",
  month =        "10 " # jul,
  keywords =     "genetic algorithms, genetic programming",
  URL =          "http://www.pocs.com/polak_bib.html#PoPat07-1",
  URL =          "http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=7243086.PN.&OS=PN/7243086&RS=PN/7243086",
  abstract =     "A provably correct computer program can be generated
                 using genetic programming techniques. A desired
                 behaviour is used to define a formal specification. An
                 initial population of programs is created where each
                 program has a meaning that can be defined using a
                 formalization technique. A fitness function is applied
                 to measure a distance between the meaning of a program,
                 i.e., its actual behavior, and the specification. Any
                 program having a zero value as the measure of distance
                 between the meaning of the program and the
                 specification is determined to be provably correct.
                 After the fitness of some or all of the programs in the
                 current generation of programs has been computed, a
                 provably correct program has not yet been found in the
                 current generation, mutation and/or crossover
                 techniques are performed on at least some of the
                 fittest individuals in the current generation to create
                 the programs of a next generation.",
  notes =        "Fuji Xerox Co., Ltd. (Tokyo, Japan)",
}

Genetic Programming entries for Wolfgang H Polak

Citations