Yes, the question is what you want to do.. Google " super compiler for core haskell" .... and compare how the Supero Haskell supercompiler works, to how (e.g.) the earlier Java supercompiler created at Supercompilers LLC works...
The Java supercompiler more explicitly created a data structure representing the program's execution trace, and then optimized this data structure in various ways The Haskell supercompiler achieves the same thing, but in different Haskell-ish ways... The supercompiler doesn't do reasoning, but it does explicit manipulation of aspects of program execution behavior in a way that could be used to help with reasoning... Personally if I wanted to do some sort of complex reasoning about program execution, I'd use Haskell, and look at manipulating core Haskell in ways similar to the Haskell supercompiler... But that's more a research direction than a pointer at a currently usable practical tool ... ben On Sat, Jun 23, 2012 at 3:27 AM, Russell Wallace <[email protected]> wrote: > The best representation of code depends on what you want to do with > it. For efficient execution, you want machine code, or byte code that > can be easily translated into machine code. If you want to reason > about the code, however, it's better to use a tree or graph format > (e.g. Lisp s-expressions). > > I'm currently looking at the problem of enabling heuristics to watch > the execution of code (e.g. in order to notice when a search seems to > have gone off down a blind alley so as to reset it with different > parameters). This entails finding a representation of a snapshot of > the current state of execution. Much less work has been done on this, > and such as I'm familiar with, tends to be on the efficient execution > end e.g. virtual machines that can dump the current state of memory > and CPU registers; recovery of structure from that kind of flat format > would be very difficult. > > Anyone know of any previous work on representations of execution > snapshots suitable for high-level reasoning? > > > ------------------------------------------- > AGI > Archives: https://www.listbox.com/member/archive/303/=now > RSS Feed: https://www.listbox.com/member/archive/rss/303/212726-11ac2389 > Modify Your Subscription: https://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com -- Ben Goertzel, PhD http://goertzel.org "My humanity is a constant self-overcoming" -- Friedrich Nietzsche ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-c97d2393 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-2484a968 Powered by Listbox: http://www.listbox.com
