Thu, 17 Sep 2020 06:35:47 +0200

Related articles |
---|

[4 earlier articles] |

Re: Algorithm Optimization gah4@u.washington.edu (gah4) (2020-09-15) |

Re: Algorithm Optimization mwmarkland@gmail.com (mwmarkland@gmail.com) (2020-09-16) |

Re: Algorithm Optimization rick.c.hodgin@gmail.com (Rick C. Hodgin) (2020-09-16) |

Re: Algorithm Optimization derek@_NOSPAM_knosof.co.uk (Derek M. Jones) (2020-09-16) |

Re: Algorithm Optimization gah4@u.washington.edu (gah4) (2020-09-16) |

Re: Algorithm Optimization richard.nospam@gmail.com (Richard Harnden) (2020-09-16) |

Re: Algorithm Optimization DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2020-09-17) |

Re: Algorithm Optimization tkoenig@netcologne.de (Thomas Koenig) (2020-09-17) |

Re: Algorithm Optimization minforth@arcor.de (A. K.) (2020-09-21) |

Re: Algorithm Optimization DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2020-12-13) |

Re: Algorithm Optimization gah4@u.washington.edu (gah4) (2020-12-20) |

Re: Algorithm Optimization johann@myrkraverk.com (Johann 'Myrkraverk' Oskarsson) (2021-04-21) |

From: | Hans-Peter Diettrich <DrDiettrich1@netscape.net> |

Newsgroups: | comp.compilers |

Date: | Thu, 17 Sep 2020 06:35:47 +0200 |

Organization: | Compilers Central |

References: | 20-09-032 20-09-035 20-09-036 |

Injection-Info: | gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="52498"; mail-complaints-to="abuse@iecc.com" |

Keywords: | optimize |

Posted-Date: | 19 Sep 2020 21:05:56 EDT |

Am 16.09.2020 um 07:25 schrieb gah4:

*> One thought was that someone codes bubblesort, and the compiler*

*> generates quicksort. Small complication that bubblesort is stable, and*

*> quicksort isn't. (Add an array with the original position to break*

*> ties.)*

Right, algorithm or control flow optimization should be located in an

earlier project stage, not in compilation. It also smells like the dream

of automated "proof of correctness", whose basics I learned 50 years ago

but never found usable results yet. How shall a tool suggest other

algorithm(s) without knowing (having determined - how?!) about the goals

of a piece of code?

DoDi

Post a followup to this message

Return to the
comp.compilers page.

Search the
comp.compilers archives again.