On Thu, Sep 5, 2013 at 9:41 AM, John Carlson <[email protected]> wrote: > > Has anyone done research on improving programs? I know of some where you > try to find bugs in programs. What about actually detecting and replacing > or improving algorithms? > Juergen's work on the Goedel machine seems related.
As does Adam Chlipala's work on Bedrock, and the use of tactics for automated theorem proving. My own interests don't really touch the idea of "continuous self-improvement at runtime" of the code itself, but I do like applying that idea to weighted constraint models (e.g. for on-the-fly planning systems or temporal constraint systems), albeit with some extra weight on the current solution to provide some inertia (so changes are smooth rather than turbulent). I've contemplated use of such constraint systems in the development of linkers, but this is more for robust adaptivity than for improving algorithms.
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
