> > Probably crazy expensive compute because I'm doing two things that don't > want to sleep in the same room... verifying correctness (think a lot of > tests in some test language) and optimization (convergence on some set of > perf metrics.)
You might be interested in some work by Juergen Schmidhuber: http://www.idsia.ch/~juergen/goedelmachine.html Or by Adam Chlipala: http://plv.csail.mit.edu/bedrock/ Start with the languages that support effective specification of and analysis for correctness. Automate from there. Regards, Dave
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc
