Re: Re: genetic compilation

"Joachim Durchholz" <joachim.durchholz@halstenbach.com.or.de>
14 Jun 2000 12:34:00 -0400

          From comp.compilers
Related articles
Re: Re: genetic compilation rbw3@dana.ucc.nau.edu (Brock) (2000-04-01)
Re: Re: genetic compilation joachim.durchholz@halstenbach.com.or.de (Joachim Durchholz) (2000-04-14)
Re: Re: genetic compilation felix@anu.ie (felix) (2000-06-11)
Re: Re: genetic compilation joachim.durchholz@halstenbach.com.or.de (Joachim Durchholz) (2000-06-14)
| List of all articles for this month |
From: "Joachim Durchholz" <joachim.durchholz@halstenbach.com.or.de>
Newsgroups: comp.compilers
Date: 14 Jun 2000 12:34:00 -0400
Organization: Compilers Central
References: 00-04-019 00-04-109 00-06-046
Keywords: optimize, testing

felix <felix@anu.ie> wrote:
>
> To summarize: How can I prove that a code-sequence that is genetically
> manipulated handles all legal inputs properly that are given to it?


The simplest way is to allow only modifications that preserve that
part of the semantics. Another way that's (sometimes) possible would
be to exhaustively test all cases. Other than that, I fear the
question is undecidable.


Regards,
Joachim

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.